auto-deployed

seL4 · Sep 14, 2023 · f274a4b · f274a4b
1 parent 342ea31
commit f274a4b
Show file tree

Hide file tree

Showing 254 changed files with 714 additions and 708 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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -176,7 +176,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -203,7 +203,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -320,7 +320,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </li>
           <li>
                 Page last updated: Fri Sep 30 11:28:45 2022 +0200 81036ab134

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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -470,7 +470,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -357,7 +357,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -283,7 +283,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -491,7 +491,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -515,7 +515,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -464,7 +464,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -308,7 +308,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -268,7 +268,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -388,7 +388,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </li>
           <li>
                 Page last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263

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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -261,7 +261,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -431,7 +431,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -277,7 +277,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -241,7 +241,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -220,7 +220,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </li>
           <li>
                 Page last updated: Fri Sep 30 10:50:13 2022 +0200 4fe81b7951

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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -190,7 +190,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -209,7 +209,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -234,7 +234,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -224,7 +224,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </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 2023-09-14 08:30:31 +0000 -->
+<!-- Page last generated 2023-09-14 09:25:07 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -228,7 +228,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263
+            Site last updated: Thu Sep 14 11:19:55 2023 +0200 c2d071958e
           </li>
           <li>
                 Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47