auto-deployed

seL4 · Aug 11, 2023 · e9867a8 · e9867a8
1 parent 73f09dc
commit e9867a8
Show file tree

Hide file tree

Showing 254 changed files with 859 additions and 858 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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +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 Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -203,10 +203,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -320,10 +320,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -470,10 +470,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -357,10 +357,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -283,10 +283,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -491,10 +491,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -515,10 +515,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -464,10 +464,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -308,10 +308,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -268,10 +268,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -388,10 +388,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -261,10 +261,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -431,10 +431,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -277,10 +277,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -241,10 +241,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -220,10 +220,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>

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-08-11 03:17:05 +0000 -->
+<!-- Page last generated 2023-08-11 18:26:28 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -190,10 +190,10 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+            Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
           <li>
-                Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+                Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
           </li>
 
       </ul>