auto-deployed

seL4 · Jun 27, 2024 · cba0d38 · cba0d38
1 parent 56f48f4
commit cba0d38
Show file tree

Hide file tree

Showing 256 changed files with 756 additions and 1,026 deletions.
diff --git a/404.html b/404.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -164,7 +164,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
           </li>

diff --git a/CMA34DBMC/index.html b/CMA34DBMC/index.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -191,7 +191,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17

diff --git a/CommunityProjects.html b/CommunityProjects.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -306,7 +306,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Mon Oct 23 14:16:33 2023 +1100 9c8ef6f10e

diff --git a/GettingStarted.html b/GettingStarted.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -458,7 +458,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Thu Jan 12 11:07:34 2023 +1100 bf46bb9105

diff --git a/Hardware/BeagleBoard.html b/Hardware/BeagleBoard.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -345,7 +345,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47

diff --git a/Hardware/Beaglebone.html b/Hardware/Beaglebone.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -271,7 +271,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47

diff --git a/Hardware/CEI_TK1_SOM/CANBoard/index.html b/Hardware/CEI_TK1_SOM/CANBoard/index.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -479,7 +479,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47

diff --git a/Hardware/CEI_TK1_SOM/DaughterBoard/index.html b/Hardware/CEI_TK1_SOM/DaughterBoard/index.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -503,7 +503,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47

diff --git a/Hardware/CEI_TK1_SOM/L4TCan/index.html b/Hardware/CEI_TK1_SOM/L4TCan/index.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -452,7 +452,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Wed Aug 25 12:10:59 2021 +1000 c6060204d6

diff --git a/Hardware/CEI_TK1_SOM/LogicPro8/index.html b/Hardware/CEI_TK1_SOM/LogicPro8/index.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -296,7 +296,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17

diff --git a/Hardware/CEI_TK1_SOM/Tk1SomMods/index.html b/Hardware/CEI_TK1_SOM/Tk1SomMods/index.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -256,7 +256,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17

diff --git a/Hardware/CEI_TK1_SOM/index.html b/Hardware/CEI_TK1_SOM/index.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -376,7 +376,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Tue Dec 19 12:55:38 2023 +0100 31df039362

diff --git a/Hardware/GeneralARM.html b/Hardware/GeneralARM.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -249,7 +249,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17

diff --git a/Hardware/HiKey/index.html b/Hardware/HiKey/index.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -419,7 +419,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47

diff --git a/Hardware/IA32.html b/Hardware/IA32.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -265,7 +265,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17

diff --git a/Hardware/IF6410.html b/Hardware/IF6410.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -229,7 +229,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17

diff --git a/Hardware/JetsonTX2.html b/Hardware/JetsonTX2.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -208,7 +208,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Fri Mar 29 17:22:39 2024 -0400 e06f0ae5ad

diff --git a/Hardware/Kzm.html b/Hardware/Kzm.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -178,7 +178,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47

diff --git a/Hardware/MaaXBoard.html b/Hardware/MaaXBoard.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -197,7 +197,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Wed May 11 17:30:38 2022 +1000 62b7ec3283

diff --git a/Hardware/OdroidC2.html b/Hardware/OdroidC2.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -222,7 +222,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47

diff --git a/Hardware/OdroidC4.html b/Hardware/OdroidC4.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -212,7 +212,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Sun Mar 5 13:53:55 2023 +1100 06181b87a5

diff --git a/Hardware/OdroidXU.html b/Hardware/OdroidXU.html
@@ -3,7 +3,7 @@
      SPDX-License-Identifier: CC-BY-SA-4.0
      SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 -->
-<!-- Page last generated 2024-06-27 14:16:46 +0000 -->
+<!-- Page last generated 2024-06-27 14:20:45 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -216,7 +216,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+            Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
           </li>
           <li>
                 Page last updated: Tue Dec 19 12:55:38 2023 +0100 31df039362