auto-deployed

seL4 · Dec 18, 2023 · d266008 · d266008
1 parent e8a19f7
commit d266008
Show file tree

Hide file tree

Showing 255 changed files with 581 additions and 579 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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -318,7 +318,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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 2023-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </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-12-18 11:23:58 +0000 -->
+<!-- Page last generated 2023-12-18 14:24:36 +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: Mon Dec 18 12:21:32 2023 +0100 c87fe7aa1c
+            Site last updated: Mon Dec 18 15:22:35 2023 +0100 b53ee4d39c
           </li>
           <li>
                 Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47