auto-deployed

seL4 · Aug 19, 2024 · 96c6a68 · 96c6a68
1 parent 070ff2e
commit 96c6a68
Show file tree

Hide file tree

Showing 262 changed files with 1,487 additions and 983 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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -78,7 +78,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -160,7 +160,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -78,7 +78,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -187,7 +187,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -78,7 +78,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -302,7 +302,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -78,7 +78,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -454,7 +454,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -89,7 +89,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -341,7 +341,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -89,7 +89,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -267,7 +267,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -100,7 +100,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -475,7 +475,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -100,7 +100,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -499,7 +499,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -100,7 +100,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -448,7 +448,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -100,7 +100,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -292,7 +292,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -100,7 +100,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -252,7 +252,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -89,7 +89,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -372,7 +372,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -89,7 +89,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -245,7 +245,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </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-08-19 03:15:12 +0000 -->
+<!-- Page last generated 2024-08-19 05:44:46 +0000 -->
 <html lang="en">
   <head>
     <meta charset="utf-8">
@@ -89,7 +89,7 @@ <h2><a href="/Tutorials">Tutorials</a></h2>
       <li class="list-unstyled text-right">
       <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
       <li class="list-unstyled text-right">
-      <a href="/releases/microkit/1.4.0"><b>microkit-1.4.0</b></a></li>
+      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
       <li class="list-unstyled text-right">
       <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
       <li class="list-unstyled text-right">
@@ -415,7 +415,7 @@ <h2 class="footer-heading">seL4 docs</h2>
         </li>
 
           <li>
-            Site last updated: Mon Aug 5 20:49:07 2024 +1000 ea4f37832c
+            Site last updated: Mon Aug 19 07:43:04 2024 +0200 0fbc0d8f0a
           </li>
           <li>
                 Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47