auto-deployed

seL4 · Jul 12, 2024 · 4f6ab8d · 4f6ab8d
1 parent b9d10ff
commit 4f6ab8d
Show file tree

Hide file tree

Showing 261 changed files with 725 additions and 727 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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -160,7 +160,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -187,7 +187,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -302,7 +302,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -454,7 +454,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -341,7 +341,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -267,7 +267,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -475,7 +475,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -499,7 +499,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -448,7 +448,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -292,7 +292,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -252,7 +252,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -372,7 +372,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -245,7 +245,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -415,7 +415,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +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 Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -225,7 +225,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -204,7 +204,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -174,7 +174,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -193,7 +193,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -218,7 +218,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +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 Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </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-07-11 05:59:11 +0000 -->
+<!-- Page last generated 2024-07-12 01:24:00 +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 Jul 11 15:57:31 2024 +1000 850646fd5b
+            Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
           </li>
           <li>
                 Page last updated: Tue Dec 19 12:55:38 2023 +0100 31df039362