diff --git a/404.html b/404.html
index 99a483d80c..ea463a0317 100644
--- 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.
-->
-
+
@@ -176,7 +176,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/CMA34DBMC/index.html b/CMA34DBMC/index.html
index f34e089c22..194217ae08 100644
--- 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.
-->
-
+
@@ -203,10 +203,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/CommunityProjects.html b/CommunityProjects.html
index 968e116c99..c4c7795864 100644
--- 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.
-->
-
+
@@ -320,10 +320,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/GettingStarted.html b/GettingStarted.html
index 290777eae5..a36bbaa208 100644
--- 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.
-->
-
+
@@ -470,10 +470,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/BeagleBoard.html b/Hardware/BeagleBoard.html
index fe6089892e..d8327d87cd 100644
--- 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.
-->
-
+
@@ -357,10 +357,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/Beaglebone.html b/Hardware/Beaglebone.html
index a69255a3be..94400f9902 100644
--- 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.
-->
-
+
@@ -283,10 +283,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/CEI_TK1_SOM/CANBoard/index.html b/Hardware/CEI_TK1_SOM/CANBoard/index.html
index b5cc0e5384..f537063db4 100644
--- 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.
-->
-
+
@@ -491,10 +491,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/CEI_TK1_SOM/DaughterBoard/index.html b/Hardware/CEI_TK1_SOM/DaughterBoard/index.html
index a819b56c05..050e1bbf84 100644
--- 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.
-->
-
+
@@ -515,10 +515,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/CEI_TK1_SOM/L4TCan/index.html b/Hardware/CEI_TK1_SOM/L4TCan/index.html
index 14468397d5..6407da115e 100644
--- 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.
-->
-
+
@@ -464,10 +464,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/CEI_TK1_SOM/LogicPro8/index.html b/Hardware/CEI_TK1_SOM/LogicPro8/index.html
index 909bbd5d20..74eab14dc5 100644
--- 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.
-->
-
+
@@ -308,10 +308,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/CEI_TK1_SOM/Tk1SomMods/index.html b/Hardware/CEI_TK1_SOM/Tk1SomMods/index.html
index 0f91154d93..c732a40f81 100644
--- 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.
-->
-
+
@@ -268,10 +268,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/CEI_TK1_SOM/index.html b/Hardware/CEI_TK1_SOM/index.html
index 303eabfe98..6a6c7a8f2f 100644
--- 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.
-->
-
+
@@ -388,10 +388,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/GeneralARM.html b/Hardware/GeneralARM.html
index ec71bc1a6d..d03c26c96d 100644
--- 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.
-->
-
+
@@ -261,10 +261,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/HiKey/index.html b/Hardware/HiKey/index.html
index 32d10de805..b36061bb12 100644
--- 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.
-->
-
+
@@ -431,10 +431,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/IA32.html b/Hardware/IA32.html
index 66fed94f47..3cbf05e3e5 100644
--- 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.
-->
-
+
@@ -277,10 +277,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/IF6410.html b/Hardware/IF6410.html
index 5cd15e784a..03a2502a2f 100644
--- 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.
-->
-
+
@@ -241,10 +241,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/JetsonTX2.html b/Hardware/JetsonTX2.html
index c7c24687e2..9ce3cc99a8 100644
--- 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.
-->
-
+
@@ -220,10 +220,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/Kzm.html b/Hardware/Kzm.html
index 3980eb04a6..ffe582e9a0 100644
--- 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.
-->
-
+
@@ -190,10 +190,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/MaaXBoard.html b/Hardware/MaaXBoard.html
index e492d84f14..816efcac1b 100644
--- 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.
-->
-
+
@@ -209,10 +209,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/OdroidC2.html b/Hardware/OdroidC2.html
index de879c9553..86419c1dd4 100644
--- 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.
-->
-
+
@@ -234,10 +234,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/OdroidC4.html b/Hardware/OdroidC4.html
index eacfb9c469..d16bffc45e 100644
--- 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.
-->
-
+
@@ -224,10 +224,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/OdroidXU.html b/Hardware/OdroidXU.html
index c6931789c3..3c2d173956 100644
--- 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.
-->
-
+
@@ -228,10 +228,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/OdroidXU4.html b/Hardware/OdroidXU4.html
index 0db011509c..a4febd7b00 100644
--- a/Hardware/OdroidXU4.html
+++ b/Hardware/OdroidXU4.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -206,10 +206,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/Rpi3.html b/Hardware/Rpi3.html
index 1b976918a1..5a8532e609 100644
--- a/Hardware/Rpi3.html
+++ b/Hardware/Rpi3.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -401,10 +401,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/Rpi4.html b/Hardware/Rpi4.html
index bceeb3d2b3..cd4ee17518 100644
--- a/Hardware/Rpi4.html
+++ b/Hardware/Rpi4.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -323,10 +323,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/VMware/index.html b/Hardware/VMware/index.html
index e188430120..5fc4776f98 100644
--- a/Hardware/VMware/index.html
+++ b/Hardware/VMware/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.
-->
-
+
@@ -327,10 +327,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/ZC706.html b/Hardware/ZC706.html
index 1d1993d024..e9800afc00 100644
--- a/Hardware/ZC706.html
+++ b/Hardware/ZC706.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -397,10 +397,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/ZCU102.html b/Hardware/ZCU102.html
index cca8b99bf2..5c41e0ed32 100644
--- a/Hardware/ZCU102.html
+++ b/Hardware/ZCU102.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -345,10 +345,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/ariane.html b/Hardware/ariane.html
index 89cd0398a6..13c19d59f6 100644
--- a/Hardware/ariane.html
+++ b/Hardware/ariane.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -247,10 +247,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/arndale.html b/Hardware/arndale.html
index 8657ecef30..243459515d 100644
--- a/Hardware/arndale.html
+++ b/Hardware/arndale.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -371,10 +371,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/hifive.html b/Hardware/hifive.html
index 9cba092650..cf7a7b3781 100644
--- a/Hardware/hifive.html
+++ b/Hardware/hifive.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -241,10 +241,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/imx8mm.html b/Hardware/imx8mm.html
index 6cc0480855..07c9b66b50 100644
--- a/Hardware/imx8mm.html
+++ b/Hardware/imx8mm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -208,10 +208,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/imx8mq.html b/Hardware/imx8mq.html
index e87c28b494..da53f033ca 100644
--- a/Hardware/imx8mq.html
+++ b/Hardware/imx8mq.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -208,10 +208,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/index.html b/Hardware/index.html
index 869ee9300b..61416d8d08 100644
--- a/Hardware/index.html
+++ b/Hardware/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.
-->
-
+
@@ -686,10 +686,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/jetsontk1.html b/Hardware/jetsontk1.html
index c9c5013be5..9f3e1252a8 100644
--- a/Hardware/jetsontk1.html
+++ b/Hardware/jetsontk1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -331,10 +331,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/jetsontx1.html b/Hardware/jetsontx1.html
index a262e4a704..63e5b0e098 100644
--- a/Hardware/jetsontx1.html
+++ b/Hardware/jetsontx1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -333,10 +333,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/odroidx.html b/Hardware/odroidx.html
index 0d8e833f01..eb63ca4495 100644
--- a/Hardware/odroidx.html
+++ b/Hardware/odroidx.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -321,10 +321,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/polarfire.html b/Hardware/polarfire.html
index 5399e62cdf..f45452061c 100644
--- a/Hardware/polarfire.html
+++ b/Hardware/polarfire.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -292,10 +292,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/rocketchip-zcu102.html b/Hardware/rocketchip-zcu102.html
index 37eb34991e..8a194dd304 100644
--- a/Hardware/rocketchip-zcu102.html
+++ b/Hardware/rocketchip-zcu102.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -362,10 +362,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/rocketchip.html b/Hardware/rocketchip.html
index 2b32aa0d14..fa3f100539 100644
--- a/Hardware/rocketchip.html
+++ b/Hardware/rocketchip.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -229,10 +229,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/rockpro64.html b/Hardware/rockpro64.html
index 7ca7340196..5fa6fbef52 100644
--- a/Hardware/rockpro64.html
+++ b/Hardware/rockpro64.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -320,10 +320,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/sabreLite.html b/Hardware/sabreLite.html
index ef36bf4fdf..512661ce55 100644
--- a/Hardware/sabreLite.html
+++ b/Hardware/sabreLite.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -410,10 +410,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/spike.html b/Hardware/spike.html
index 1eb7e440ca..43494906ea 100644
--- a/Hardware/spike.html
+++ b/Hardware/spike.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -248,10 +248,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Hardware/ultra96v2.html b/Hardware/ultra96v2.html
index 6c7d4bc0ef..a6339452ab 100644
--- a/Hardware/ultra96v2.html
+++ b/Hardware/ultra96v2.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -222,10 +222,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/MaintainedRepositories.html b/MaintainedRepositories.html
index f72fce6520..5c4b2eb728 100644
--- a/MaintainedRepositories.html
+++ b/MaintainedRepositories.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -391,10 +391,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/SuggestedProjects.html b/SuggestedProjects.html
index 9ef4a1bb0f..5f5a15a458 100644
--- a/SuggestedProjects.html
+++ b/SuggestedProjects.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -274,10 +274,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/camkes-vm-crossvm.html b/Tutorials/camkes-vm-crossvm.html
index b567727acf..e6bcf57ef3 100644
--- a/Tutorials/camkes-vm-crossvm.html
+++ b/Tutorials/camkes-vm-crossvm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -777,10 +777,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/camkes-vm-linux.html b/Tutorials/camkes-vm-linux.html
index f117fa18e5..912e75faa4 100644
--- a/Tutorials/camkes-vm-linux.html
+++ b/Tutorials/camkes-vm-linux.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -812,10 +812,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/capabilities.html b/Tutorials/capabilities.html
index e5b2ad695f..331e07ead2 100644
--- a/Tutorials/capabilities.html
+++ b/Tutorials/capabilities.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -659,10 +659,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/dynamic-1.html b/Tutorials/dynamic-1.html
index d5b24ec959..58d902d363 100644
--- a/Tutorials/dynamic-1.html
+++ b/Tutorials/dynamic-1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -779,10 +779,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/dynamic-2.html b/Tutorials/dynamic-2.html
index a1f1a39523..b4486cbe11 100644
--- a/Tutorials/dynamic-2.html
+++ b/Tutorials/dynamic-2.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -910,10 +910,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/dynamic-3.html b/Tutorials/dynamic-3.html
index 35e472a2e9..68362a86dd 100644
--- a/Tutorials/dynamic-3.html
+++ b/Tutorials/dynamic-3.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -678,10 +678,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/dynamic-4.html b/Tutorials/dynamic-4.html
index a67cdcf80b..b76ae99b8b 100644
--- a/Tutorials/dynamic-4.html
+++ b/Tutorials/dynamic-4.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -477,10 +477,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/fault-handlers.html b/Tutorials/fault-handlers.html
index e4acca2f72..f58099a103 100644
--- a/Tutorials/fault-handlers.html
+++ b/Tutorials/fault-handlers.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -637,10 +637,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/hello-camkes-0.html b/Tutorials/hello-camkes-0.html
index 2f2dc5a534..a891f5d899 100644
--- a/Tutorials/hello-camkes-0.html
+++ b/Tutorials/hello-camkes-0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -502,10 +502,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/hello-camkes-1.html b/Tutorials/hello-camkes-1.html
index b9910df75b..9a2c702bee 100644
--- a/Tutorials/hello-camkes-1.html
+++ b/Tutorials/hello-camkes-1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -554,10 +554,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/hello-camkes-2.html b/Tutorials/hello-camkes-2.html
index c065de129a..5acfefb06b 100644
--- a/Tutorials/hello-camkes-2.html
+++ b/Tutorials/hello-camkes-2.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -430,10 +430,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/hello-camkes-timer.html b/Tutorials/hello-camkes-timer.html
index b2357865a7..1b5b3c3f7b 100644
--- a/Tutorials/hello-camkes-timer.html
+++ b/Tutorials/hello-camkes-timer.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -560,10 +560,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/hello-world.html b/Tutorials/hello-world.html
index 156f673b7b..0cb822bd1d 100644
--- a/Tutorials/hello-world.html
+++ b/Tutorials/hello-world.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -477,10 +477,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/index.html b/Tutorials/index.html
index 77fb7a75a5..54f7f5c781 100644
--- a/Tutorials/index.html
+++ b/Tutorials/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.
-->
-
+
@@ -641,10 +641,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/interrupts.html b/Tutorials/interrupts.html
index b3ae5f3505..2542884e15 100644
--- a/Tutorials/interrupts.html
+++ b/Tutorials/interrupts.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -460,10 +460,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/ipc.html b/Tutorials/ipc.html
index 4dd5d70f64..059b9bbea2 100644
--- a/Tutorials/ipc.html
+++ b/Tutorials/ipc.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -599,10 +599,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/mapping.html b/Tutorials/mapping.html
index 6008f8b285..09706b9848 100644
--- a/Tutorials/mapping.html
+++ b/Tutorials/mapping.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -559,10 +559,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/mcs.html b/Tutorials/mcs.html
index f43812d3c4..25adf145ba 100644
--- a/Tutorials/mcs.html
+++ b/Tutorials/mcs.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -695,10 +695,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/notifications.html b/Tutorials/notifications.html
index 3fc469d838..a6d5dc91a3 100644
--- a/Tutorials/notifications.html
+++ b/Tutorials/notifications.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -477,10 +477,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/threads.html b/Tutorials/threads.html
index 494ab5e8c4..f40a15c4b9 100644
--- a/Tutorials/threads.html
+++ b/Tutorials/threads.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -711,10 +711,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/Tutorials/untyped.html b/Tutorials/untyped.html
index e9d01eee6f..9d5603e9e3 100644
--- a/Tutorials/untyped.html
+++ b/Tutorials/untyped.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -622,10 +622,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/assets/css/bootstrap.css.map b/assets/css/bootstrap.css.map
index 311234bf73..10ca37e561 100644
--- a/assets/css/bootstrap.css.map
+++ b/assets/css/bootstrap.css.map
@@ -3,77 +3,77 @@
"file": "bootstrap.css",
"sources": [
"bootstrap.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/_bootstrap-sprockets.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/_bootstrap.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_variables.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_mixins.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_hide-text.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_opacity.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_image.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_labels.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_reset-filter.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_resize.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_responsive-visibility.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_size.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_tab-focus.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_reset-text.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_text-emphasis.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_text-overflow.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_vendor-prefixes.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_alerts.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_buttons.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_panels.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_pagination.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_list-group.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_nav-divider.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_forms.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_progress-bar.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_table-row.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_background-variant.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_border-radius.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_gradients.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_clearfix.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_center-block.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_nav-vertical-align.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_grid-framework.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_grid.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_normalize.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_print.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_glyphicons.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_scaffolding.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_type.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_code.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_grid.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_tables.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_forms.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_buttons.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_component-animations.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_dropdowns.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_button-groups.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_input-groups.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_navs.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_navbar.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_breadcrumbs.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_pagination.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_pager.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_labels.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_badges.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_jumbotron.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_thumbnails.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_alerts.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_progress-bars.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_media.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_list-group.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_panels.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_responsive-embed.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_wells.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_close.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_modals.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_tooltip.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_popovers.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_carousel.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_utilities.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_responsive-utilities.scss"
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/_bootstrap-sprockets.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/_bootstrap.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_variables.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_mixins.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_hide-text.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_opacity.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_image.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_labels.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_reset-filter.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_resize.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_responsive-visibility.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_size.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_tab-focus.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_reset-text.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_text-emphasis.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_text-overflow.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_vendor-prefixes.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_alerts.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_buttons.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_panels.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_pagination.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_list-group.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_nav-divider.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_forms.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_progress-bar.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_table-row.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_background-variant.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_border-radius.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_gradients.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_clearfix.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_center-block.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_nav-vertical-align.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_grid-framework.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_grid.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_normalize.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_print.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_glyphicons.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_scaffolding.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_type.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_code.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_grid.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_tables.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_forms.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_buttons.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_component-animations.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_dropdowns.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_button-groups.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_input-groups.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_navs.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_navbar.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_breadcrumbs.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_pagination.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_pager.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_labels.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_badges.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_jumbotron.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_thumbnails.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_alerts.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_progress-bars.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_media.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_list-group.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_panels.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_responsive-embed.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_wells.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_close.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_modals.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_tooltip.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_popovers.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_carousel.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_utilities.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_responsive-utilities.scss"
],
"sourcesContent": [
"// \"bootstrap-sprockets\" must be imported before \"bootstrap\" and \"bootstrap/variables\"\n@import \"bootstrap-sprockets\";\n@import \"bootstrap\";\n",
diff --git a/assets/css/style.css.map b/assets/css/style.css.map
index 400137b8b4..88dc878825 100644
--- a/assets/css/style.css.map
+++ b/assets/css/style.css.map
@@ -3,77 +3,77 @@
"file": "style.css",
"sources": [
"style.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/_bootstrap-sprockets.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/_bootstrap.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_variables.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_mixins.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_hide-text.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_opacity.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_image.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_labels.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_reset-filter.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_resize.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_responsive-visibility.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_size.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_tab-focus.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_reset-text.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_text-emphasis.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_text-overflow.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_vendor-prefixes.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_alerts.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_buttons.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_panels.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_pagination.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_list-group.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_nav-divider.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_forms.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_progress-bar.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_table-row.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_background-variant.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_border-radius.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_gradients.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_clearfix.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_center-block.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_nav-vertical-align.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_grid-framework.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_grid.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_normalize.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_print.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_glyphicons.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_scaffolding.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_type.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_code.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_grid.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_tables.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_forms.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_buttons.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_component-animations.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_dropdowns.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_button-groups.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_input-groups.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_navs.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_navbar.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_breadcrumbs.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_pagination.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_pager.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_labels.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_badges.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_jumbotron.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_thumbnails.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_alerts.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_progress-bars.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_media.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_list-group.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_panels.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_responsive-embed.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_wells.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_close.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_modals.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_tooltip.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_popovers.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_carousel.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_utilities.scss",
- "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_responsive-utilities.scss"
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/_bootstrap-sprockets.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/_bootstrap.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_variables.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_mixins.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_hide-text.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_opacity.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_image.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_labels.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_reset-filter.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_resize.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_responsive-visibility.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_size.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_tab-focus.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_reset-text.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_text-emphasis.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_text-overflow.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_vendor-prefixes.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_alerts.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_buttons.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_panels.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_pagination.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_list-group.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_nav-divider.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_forms.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_progress-bar.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_table-row.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_background-variant.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_border-radius.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_gradients.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_clearfix.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_center-block.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_nav-vertical-align.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_grid-framework.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_grid.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_normalize.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_print.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_glyphicons.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_scaffolding.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_type.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_code.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_grid.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_tables.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_forms.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_buttons.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_component-animations.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_dropdowns.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_button-groups.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_input-groups.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_navs.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_navbar.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_breadcrumbs.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_pagination.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_pager.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_labels.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_badges.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_jumbotron.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_thumbnails.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_alerts.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_progress-bars.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_media.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_list-group.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_panels.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_responsive-embed.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_wells.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_close.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_modals.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_tooltip.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_popovers.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_carousel.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_utilities.scss",
+ "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_responsive-utilities.scss"
],
"sourcesContent": [
"// SPDX-License-Identifier: CC-BY-SA-4.0\n// Copyright 2020 seL4 Project a Series of LF Projects, LLC.\n\n@charset \"utf-8\";\n\n// Override defaults for bootstrap variables here.\n\n// $font-size-base: 16px !default;\n\n$spacing-unit: 30px !default;\n\n$table-text-align: left !default;\n\n\n// \"bootstrap-sprockets\" must be imported before \"bootstrap\" and \"bootstrap/variables\"\n@import \"bootstrap-sprockets\";\n@import \"bootstrap\";\n\n\nhtml {\n font-size: $font-size-base;\n}\n\n@media print {\n\t#site-navigation { display: none; }\n\t#site-header a[href]:after {\n\t content: none;\n\t}\n}\n\ntable.alttable tr:nth-child(even) {\n background-color: #f0f0f0;\n}\n\n\n// Menu styling borrowed from rust-www site.\nul.menu {\n font-size: 1em;\n margin: 0;\n padding: 0;\n text-align: center;\n}\nul.menu li {\n list-style-type: none;\n margin-top: 0em;\n margin-bottom: 0em;\n}\nul.menu h2 {\n font-size: 1.5em;\n font-weight: 500;\n margin: 1em;\n display: inline;\n line-height: 1.5em;\n}\nul.menu li>ul {\n margin-top: .5em;\n padding-left: 0em;\n line-height: 1.5em;\n}\n\n.menu img {\n margin: 0 auto 1.5em auto;\n}\n@media (min-width: 992px) {\n ul.menu li.menu {\n margin-top: 3em;\n }\n ul.menu {\n text-align: left;\n }\n .menu img {\n margin: 0;\n }\n}\n\n\n// This styles the toc \n.section-nav {\n background-color: #FFF;\n margin: 5px 0;\n padding: 10px 30px;\n border: 1px solid #E8E8E8;\n border-radius: 3px;\n}\n\n\n\n\n/**\n * Tables, This code inspired by minima theme\n * Bootstrap doesn't style tables automatically.\n * These variables are defined by bootstrap\n */\ntable {\n margin-bottom: $spacing-unit;\n width: 100%;\n text-align: $table-text-align;\n border-collapse: collapse;\n border: 1px solid $gray-lighter;\n tr {\n &:nth-child(even) {\n background-color: lighten($gray-lighter, 3%);\n a {\n color: $link-hover-color\n }\n }\n }\n th, td {\n padding: ($spacing-unit / 3) ($spacing-unit / 2);\n }\n th {\n background-color: darken($gray-lighter, 3%);\n border: 1px solid darken($gray-lighter, 10%);\n border-bottom-color: darken($gray-lighter, 12%);\n }\n td {\n border: 1px solid $gray-lighter;\n }\n}\n\n@mixin relative-font-size($ratio) {\n font-size: $font-size-base * $ratio;\n}\n\n\n/**\n * Nav bar.\n */\n\n/* nav bar top settings */\ndiv.breadcrumbs.bootstrap {\n font-size: 1.35rem;\n padding: 0.75rem 1rem;\n margin-bottom: 1rem;\n list-style: none;\n background-color: #f1f2ed;\n border-radius: 0.25rem;\n}\n\ndiv.breadcrumbs.bootstrap ol {\n margin-left: 0;\n margin-bottom: 0;\n}\n\n.sel-breadcrumb{\n float: left;\n}\n\n\ndiv.breadcrumbs.bootstrap .breadcrumb-item {\n float: left;\n}\n\n/* The \".breadcrumb-item +\" part prevents the \"/\" from being created for the first one */\ndiv.breadcrumbs.bootstrap .breadcrumb-item + .breadcrumb-item::before {\n display: inline-block;\n padding-right: 0.5rem;\n padding-left: 0.5rem;\n color: #818a91;\n content: \"/\";\n}\n\n/*Don't underline the content: \"/\" part on hover */\ndiv.breadcrumbs.bootstrap .breadcrumb-item + .breadcrumb-item:hover::before {\n text-decoration: none;\n}\n\n.sel-version{\n float: right;\n margin-bottom: 0;\n}\n\n.sel-version li{\n display: inline-block;\n padding:0rem 0.5rem;\n}\n\n.clear{\n clear: both;\n}\n\n/**\n * Site footer\n */\n\n \n/**\n * Clearfix\n */\n%clearfix:after {\n content: \"\";\n display: table;\n clear: both;\n}\n\n\n.site-footer {\n border-top: 1px solid $gray-lighter;\n padding: $spacing-unit 0;\n}\n\n.footer-heading {\n @include relative-font-size(1.125);\n margin-bottom: $spacing-unit / 2;\n}\n\n.social-media-list {\n list-style: none;\n margin-left: 0;\n}\n\n.footer-col-wrapper {\n @include relative-font-size(0.9375);\n color: $gray;\n margin-left: -$spacing-unit / 2;\n @extend %clearfix;\n}\n\nh2 a,\n.api code {\n white-space: pre;\n}\n\n.icon-resize {\n font-size: 1.2rem;\n}\n\n.sidebar-toc {\n overflow-x: hidden; /* Disable horizontal scroll */\n}\n\n.sidebar {\n background-color: #f1f2ed;\n border-radius: 0.25rem;\n padding: 1rem;\n\n}\n\n.nav-sidebar > li > a {\n padding-right: 20px;\n padding-left: 20px;\n}\n.nav-sidebar > .active > a,\n.nav-sidebar > .active > a:hover,\n.nav-sidebar > .active > a:focus {\n color: #fff;\n background-color: #428bca;\n}\n\n/* This adds a unicode character corresponding to .fa-external-link-alt from fontawesome\n to every external link */\na[href*=\"//\"]:not([href*=\"https://docs.sel4.systems\"],.skip-icon):after {\n display:inline-block;\n font-style:normal;\n font-variant:normal;\n text-rendering:auto;\n line-height:1;\n font-weight:900;\n font-family: Font Awesome\\ 5 Free;\n margin-left: 0.2em;\n content: \" \\f35d\";\n}\n\n.plain-links a[href*=\"//\"]:not([href*=\"https://docs.sel4.systems\"],.skip-icon):after {\n display: none;\n}\n\n/* flexbox styling sourced from: https://css-tricks.com/dont-overthink-flexbox-grids/ */\n.flex-grid {\n display: flex;\n}\n.col {\n flex: 1;\n padding: 20px;\n}\n@media (max-width: 700px) {\n .flex-grid {\n display: block;\n }\n}\n\n.flex-grid-thirds {\n display: flex;\n justify-content: space-between;\n}\n.flex-grid-thirds .col {\n width: 32%;\n}\n",
diff --git a/index.html b/index.html
index 2c40737633..2dae921b18 100644
--- a/index.html
+++ b/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.
-->
-
+
@@ -202,10 +202,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/code-review.html b/processes/code-review.html
index f8f59704b9..dd00602a9c 100644
--- a/processes/code-review.html
+++ b/processes/code-review.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -462,10 +462,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/conduct.html b/processes/conduct.html
index 8a9f7344fc..bd3ad454df 100644
--- a/processes/conduct.html
+++ b/processes/conduct.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -313,10 +313,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/contributing.html b/processes/contributing.html
index ae68a862a7..304a312d35 100644
--- a/processes/contributing.html
+++ b/processes/contributing.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -333,10 +333,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/docs-contributing.html b/processes/docs-contributing.html
index 79a0ae6bf7..df8aa7ff4b 100644
--- a/processes/docs-contributing.html
+++ b/processes/docs-contributing.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -277,10 +277,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/emails.html b/processes/emails.html
index fa31aedaee..4b924cfc8b 100644
--- a/processes/emails.html
+++ b/processes/emails.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -281,10 +281,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/git-conventions.html b/processes/git-conventions.html
index 60a947764e..8a2e00d10d 100644
--- a/processes/git-conventions.html
+++ b/processes/git-conventions.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -325,10 +325,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/index.html b/processes/index.html
index 5996215ef6..aed0090796 100644
--- a/processes/index.html
+++ b/processes/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.
-->
-
+
@@ -421,10 +421,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/irc-channel.html b/processes/irc-channel.html
index 02dbe8b157..d54ffb1dd9 100644
--- a/processes/irc-channel.html
+++ b/processes/irc-channel.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -184,10 +184,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/licenses.html b/processes/licenses.html
index 9d69b9b930..7ad257856c 100644
--- a/processes/licenses.html
+++ b/processes/licenses.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -290,10 +290,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/release-process.html b/processes/release-process.html
index c78943e764..542b2629f4 100644
--- a/processes/release-process.html
+++ b/processes/release-process.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -572,10 +572,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/rfc-process.html b/processes/rfc-process.html
index 7b29c1297c..ab967ea500 100644
--- a/processes/rfc-process.html
+++ b/processes/rfc-process.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -568,10 +568,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/roles.html b/processes/roles.html
index 9fa840e6e0..6b2fc98a56 100644
--- a/processes/roles.html
+++ b/processes/roles.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -179,6 +179,7 @@ Roles
- Christopher Guikema, Dornerworks
- Jesse Millwood, Dornerworks
+ - Alwin Joshy, UNSW
- Benno Leslie, Breakaway Consulting
- Indan Zupancic, MEP
@@ -275,10 +276,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/style-guide.html b/processes/style-guide.html
index a4c718b2f5..4d687d8ad5 100644
--- a/processes/style-guide.html
+++ b/processes/style-guide.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -571,10 +571,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/test-status.html b/processes/test-status.html
index 864fa79549..789f47c228 100644
--- a/processes/test-status.html
+++ b/processes/test-status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -555,10 +555,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/processes/websites.html b/processes/websites.html
index 13831e4512..f9440dff4e 100644
--- a/processes/websites.html
+++ b/processes/websites.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -274,10 +274,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/available-user-components.html b/projects/available-user-components.html
index 9affecc8b0..f41a7f71b3 100644
--- a/projects/available-user-components.html
+++ b/projects/available-user-components.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1449,10 +1449,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/buildsystem/host-dependencies.html b/projects/buildsystem/host-dependencies.html
index 66e89a74ef..acfd3d8735 100644
--- a/projects/buildsystem/host-dependencies.html
+++ b/projects/buildsystem/host-dependencies.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -818,10 +818,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/buildsystem/incorporating.html b/projects/buildsystem/incorporating.html
index ae61a507c1..34a4df5715 100644
--- a/projects/buildsystem/incorporating.html
+++ b/projects/buildsystem/incorporating.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -667,10 +667,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/buildsystem/index.html b/projects/buildsystem/index.html
index 67998e2fa3..6d8ba98f79 100644
--- a/projects/buildsystem/index.html
+++ b/projects/buildsystem/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.
-->
-
+
@@ -487,10 +487,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/buildsystem/old/index.html b/projects/buildsystem/old/index.html
index 3973dbd18b..6992478584 100644
--- a/projects/buildsystem/old/index.html
+++ b/projects/buildsystem/old/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.
-->
-
+
@@ -955,10 +955,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/buildsystem/repo-cheatsheet.html b/projects/buildsystem/repo-cheatsheet.html
index 159840d25d..b74817da30 100644
--- a/projects/buildsystem/repo-cheatsheet.html
+++ b/projects/buildsystem/repo-cheatsheet.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -677,10 +677,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/buildsystem/standalone.html b/projects/buildsystem/standalone.html
index 1900951167..2f006129ac 100644
--- a/projects/buildsystem/standalone.html
+++ b/projects/buildsystem/standalone.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -521,10 +521,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/buildsystem/using.html b/projects/buildsystem/using.html
index 49f01e36c0..1c55c48d8e 100644
--- a/projects/buildsystem/using.html
+++ b/projects/buildsystem/using.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -667,10 +667,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/camkes-vm/centos.html b/projects/camkes-vm/centos.html
index 2ca32da4ce..6d5b3b3616 100644
--- a/projects/camkes-vm/centos.html
+++ b/projects/camkes-vm/centos.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -505,10 +505,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/camkes-vm/index.html b/projects/camkes-vm/index.html
index f5f9cc240e..541d61d476 100644
--- a/projects/camkes-vm/index.html
+++ b/projects/camkes-vm/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.
-->
-
+
@@ -1085,10 +1085,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/camkes-vm/zmq-samples.html b/projects/camkes-vm/zmq-samples.html
index 26f363e98b..5f51f76c1b 100644
--- a/projects/camkes-vm/zmq-samples.html
+++ b/projects/camkes-vm/zmq-samples.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -706,10 +706,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/camkes/cli.html b/projects/camkes/cli.html
index ffa71f8425..d8bfc15d89 100644
--- a/projects/camkes/cli.html
+++ b/projects/camkes/cli.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -607,10 +607,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/camkes/differences.html b/projects/camkes/differences.html
index 527874312f..9301c1f056 100644
--- a/projects/camkes/differences.html
+++ b/projects/camkes/differences.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -811,10 +811,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/camkes/index.html b/projects/camkes/index.html
index 9a3c3c756d..f71afbae67 100644
--- a/projects/camkes/index.html
+++ b/projects/camkes/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.
-->
-
+
@@ -656,10 +656,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/camkes/internals.html b/projects/camkes/internals.html
index bb735a6b17..7e6d1a7580 100644
--- a/projects/camkes/internals.html
+++ b/projects/camkes/internals.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -819,10 +819,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/camkes/manual.html b/projects/camkes/manual.html
index d5da085b1f..38eb925f5e 100644
--- a/projects/camkes/manual.html
+++ b/projects/camkes/manual.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -4258,10 +4258,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/camkes/next.html b/projects/camkes/next.html
index 34a91f4f3c..47ae54f0a1 100644
--- a/projects/camkes/next.html
+++ b/projects/camkes/next.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -665,10 +665,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/camkes/seL4SharedDataWithCaps.html b/projects/camkes/seL4SharedDataWithCaps.html
index 5ce97c192a..50d8fee4c3 100644
--- a/projects/camkes/seL4SharedDataWithCaps.html
+++ b/projects/camkes/seL4SharedDataWithCaps.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -603,10 +603,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/camkes/status.html b/projects/camkes/status.html
index 5d3faa2558..18f6e17625 100644
--- a/projects/camkes/status.html
+++ b/projects/camkes/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1546,7 +1546,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/camkes/terminology.html b/projects/camkes/terminology.html
index 469532f52a..e9d98a3fb9 100644
--- a/projects/camkes/terminology.html
+++ b/projects/camkes/terminology.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -842,10 +842,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/camkes/visual-camkes/index.html b/projects/camkes/visual-camkes/index.html
index 95fa408f9b..0e719ce335 100644
--- a/projects/camkes/visual-camkes/index.html
+++ b/projects/camkes/visual-camkes/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.
-->
-
+
@@ -866,10 +866,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/capdl/c-loader-app.html b/projects/capdl/c-loader-app.html
index 960ec6e8f6..55f663f712 100644
--- a/projects/capdl/c-loader-app.html
+++ b/projects/capdl/c-loader-app.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -476,10 +476,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/capdl/cdl-utils.html b/projects/capdl/cdl-utils.html
index 7ad4af42a1..71cd2e2434 100644
--- a/projects/capdl/cdl-utils.html
+++ b/projects/capdl/cdl-utils.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -462,10 +462,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/capdl/index.html b/projects/capdl/index.html
index a6d703ff70..603927051e 100644
--- a/projects/capdl/index.html
+++ b/projects/capdl/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.
-->
-
+
@@ -533,10 +533,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/capdl/object-sizes.html b/projects/capdl/object-sizes.html
index 6b8d35c31b..e0b8ce9019 100644
--- a/projects/capdl/object-sizes.html
+++ b/projects/capdl/object-sizes.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -454,10 +454,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/capdl/python-tool.html b/projects/capdl/python-tool.html
index 4698d57a4e..924e84fda8 100644
--- a/projects/capdl/python-tool.html
+++ b/projects/capdl/python-tool.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -457,10 +457,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/capdl/translator.html b/projects/capdl/translator.html
index 57dee61868..aa57d7281d 100644
--- a/projects/capdl/translator.html
+++ b/projects/capdl/translator.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -503,10 +503,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/dockerfiles/index.html b/projects/dockerfiles/index.html
index b78fe02da0..9aee97c860 100644
--- a/projects/dockerfiles/index.html
+++ b/projects/dockerfiles/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.
-->
-
+
@@ -503,10 +503,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/docsite/index.html b/projects/docsite/index.html
index 9214a1e35f..dd764607cc 100644
--- a/projects/docsite/index.html
+++ b/projects/docsite/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.
-->
-
+
@@ -499,10 +499,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/driver_framework/AddressingOtherDevices.html b/projects/driver_framework/AddressingOtherDevices.html
index 5bc50121c7..b7e41867d7 100644
--- a/projects/driver_framework/AddressingOtherDevices.html
+++ b/projects/driver_framework/AddressingOtherDevices.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -446,10 +446,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/driver_framework/ChildEnumeration.html b/projects/driver_framework/ChildEnumeration.html
index eb92cc6532..2f7cf37a3f 100644
--- a/projects/driver_framework/ChildEnumeration.html
+++ b/projects/driver_framework/ChildEnumeration.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -618,10 +618,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/driver_framework/DriverManagement.html b/projects/driver_framework/DriverManagement.html
index 0033c01365..c3b36a2cbc 100644
--- a/projects/driver_framework/DriverManagement.html
+++ b/projects/driver_framework/DriverManagement.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -545,10 +545,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/elfloader/index.html b/projects/elfloader/index.html
index 226b37f0a1..3fa1a45b31 100644
--- a/projects/elfloader/index.html
+++ b/projects/elfloader/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.
-->
-
+
@@ -587,10 +587,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/hardware_hacks/index.html b/projects/hardware_hacks/index.html
index 5d9e224365..994e3c6e84 100644
--- a/projects/hardware_hacks/index.html
+++ b/projects/hardware_hacks/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.
-->
-
+
@@ -427,10 +427,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/hardware_hacks/level-converter/index.html b/projects/hardware_hacks/level-converter/index.html
index 78bab7fb43..5e6e7d0928 100644
--- a/projects/hardware_hacks/level-converter/index.html
+++ b/projects/hardware_hacks/level-converter/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.
-->
-
+
@@ -420,10 +420,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/index.html b/projects/index.html
index 76dc8d243e..01df1a870e 100644
--- a/projects/index.html
+++ b/projects/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.
-->
-
+
@@ -987,7 +987,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/l4v/index.html b/projects/l4v/index.html
index 324eb1a4a7..4e21f6151e 100644
--- a/projects/l4v/index.html
+++ b/projects/l4v/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.
-->
-
+
@@ -440,10 +440,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/roadmap.html b/projects/roadmap.html
index 7c33904fac..d1caa13ae4 100644
--- a/projects/roadmap.html
+++ b/projects/roadmap.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -375,10 +375,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/rust/index.html b/projects/rust/index.html
index b210e1563a..f911b6ab38 100644
--- a/projects/rust/index.html
+++ b/projects/rust/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.
-->
-
+
@@ -526,10 +526,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4-tutorials/benchmarking-guide.html b/projects/sel4-tutorials/benchmarking-guide.html
index c60508e6d4..735d9db19d 100644
--- a/projects/sel4-tutorials/benchmarking-guide.html
+++ b/projects/sel4-tutorials/benchmarking-guide.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -796,10 +796,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4-tutorials/debugging-guide.html b/projects/sel4-tutorials/debugging-guide.html
index 1e7c54d5f4..fc52f1c9e9 100644
--- a/projects/sel4-tutorials/debugging-guide.html
+++ b/projects/sel4-tutorials/debugging-guide.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -700,10 +700,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4-tutorials/debugging-userspace.html b/projects/sel4-tutorials/debugging-userspace.html
index 1f507df540..1c4f222808 100644
--- a/projects/sel4-tutorials/debugging-userspace.html
+++ b/projects/sel4-tutorials/debugging-userspace.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -493,10 +493,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4/api-doc.html b/projects/sel4/api-doc.html
index a877b61028..51b7218a3c 100644
--- a/projects/sel4/api-doc.html
+++ b/projects/sel4/api-doc.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -9394,10 +9394,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4/documentation.html b/projects/sel4/documentation.html
index eebc08deb9..d93e06b6cc 100644
--- a/projects/sel4/documentation.html
+++ b/projects/sel4/documentation.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -728,10 +728,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4/frequently-asked-questions.html b/projects/sel4/frequently-asked-questions.html
index 1d24be5c34..9de76af5fe 100644
--- a/projects/sel4/frequently-asked-questions.html
+++ b/projects/sel4/frequently-asked-questions.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1402,10 +1402,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4/index.html b/projects/sel4/index.html
index 737916461b..28ce03d514 100644
--- a/projects/sel4/index.html
+++ b/projects/sel4/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.
-->
-
+
@@ -860,10 +860,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4/kernel-contribution.html b/projects/sel4/kernel-contribution.html
index f81137430b..50b96817a2 100644
--- a/projects/sel4/kernel-contribution.html
+++ b/projects/sel4/kernel-contribution.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -967,10 +967,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4/manual-api-generation.html b/projects/sel4/manual-api-generation.html
index 08d5e11245..d540827df3 100644
--- a/projects/sel4/manual-api-generation.html
+++ b/projects/sel4/manual-api-generation.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -998,10 +998,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4/porting.html b/projects/sel4/porting.html
index f7bbb6e6d7..6dfbefc99a 100644
--- a/projects/sel4/porting.html
+++ b/projects/sel4/porting.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -839,10 +839,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4/status.html b/projects/sel4/status.html
index f2dddd9df7..9a5c8ace36 100644
--- a/projects/sel4/status.html
+++ b/projects/sel4/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -2094,7 +2094,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4/verified-configurations.html b/projects/sel4/verified-configurations.html
index fb0224ab6d..3b64743f83 100644
--- a/projects/sel4/verified-configurations.html
+++ b/projects/sel4/verified-configurations.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -980,10 +980,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4_tools/index.html b/projects/sel4_tools/index.html
index 8aca19c2f9..3ec842deac 100644
--- a/projects/sel4_tools/index.html
+++ b/projects/sel4_tools/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.
-->
-
+
@@ -448,10 +448,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4bench/index.html b/projects/sel4bench/index.html
index e027da079b..3e1e231551 100644
--- a/projects/sel4bench/index.html
+++ b/projects/sel4bench/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.
-->
-
+
@@ -538,10 +538,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4bench/status.html b/projects/sel4bench/status.html
index 3e8b04b298..6a7ab31bda 100644
--- a/projects/sel4bench/status.html
+++ b/projects/sel4bench/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -657,7 +657,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4runtime/index.html b/projects/sel4runtime/index.html
index f7e2f764ce..f3e2151839 100644
--- a/projects/sel4runtime/index.html
+++ b/projects/sel4runtime/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.
-->
-
+
@@ -556,10 +556,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4test/index.html b/projects/sel4test/index.html
index 4ca1c9f099..1232409ad1 100644
--- a/projects/sel4test/index.html
+++ b/projects/sel4test/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.
-->
-
+
@@ -574,10 +574,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4test/status.html b/projects/sel4test/status.html
index d1495c7fd6..e7baa3de29 100644
--- a/projects/sel4test/status.html
+++ b/projects/sel4test/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -635,7 +635,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/sel4webserver/index.html b/projects/sel4webserver/index.html
index da232b648e..7f220a75d0 100644
--- a/projects/sel4webserver/index.html
+++ b/projects/sel4webserver/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.
-->
-
+
@@ -718,10 +718,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/user_libs/index.html b/projects/user_libs/index.html
index 3c51ac5ece..f475edade2 100644
--- a/projects/user_libs/index.html
+++ b/projects/user_libs/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.
-->
-
+
@@ -470,10 +470,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/user_libs/status.html b/projects/user_libs/status.html
index 14281e0828..fe9eae1feb 100644
--- a/projects/user_libs/status.html
+++ b/projects/user_libs/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1606,7 +1606,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html
index cdbf048e90..62942f899b 100644
--- a/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html
+++ b/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -491,7 +491,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_boot.html b/projects/virtualization/docs/api/libsel4vm_boot.html
index 0d478bba8e..51388e7413 100644
--- a/projects/virtualization/docs/api/libsel4vm_boot.html
+++ b/projects/virtualization/docs/api/libsel4vm_boot.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -516,7 +516,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html b/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html
index 84b419cfa2..80c73a09b8 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -586,7 +586,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_iospace.html b/projects/virtualization/docs/api/libsel4vm_guest_iospace.html
index ce13872cfc..d43d05ad3f 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_iospace.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_iospace.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -467,7 +467,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html b/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html
index cb0044d12a..67fdf2c397 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -537,7 +537,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_memory.html b/projects/virtualization/docs/api/libsel4vm_guest_memory.html
index 7c8c48bed6..7ffe3f38e9 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_memory.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_memory.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -645,7 +645,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html b/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html
index 5ae4929948..e8cb161515 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -469,7 +469,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_ram.html b/projects/virtualization/docs/api/libsel4vm_guest_ram.html
index 6792ee8af6..4cb3477d9f 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_ram.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_ram.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -662,7 +662,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html b/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html
index 45cc0c024e..4478d284b0 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -662,7 +662,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_guest_vm.html
index f351d28fad..a23a30c0b7 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_vm.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -686,7 +686,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html b/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html
index b215ffd3d7..a7e762f74f 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -598,7 +598,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html b/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html
index b192a3eb76..a9e8674b8c 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -586,7 +586,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html
index 7501a190dc..28863c26b1 100644
--- a/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html
+++ b/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -483,7 +483,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_x86_ioports.html b/projects/virtualization/docs/api/libsel4vm_x86_ioports.html
index 105309ddbd..a098211b0f 100644
--- a/projects/virtualization/docs/api/libsel4vm_x86_ioports.html
+++ b/projects/virtualization/docs/api/libsel4vm_x86_ioports.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -515,7 +515,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html b/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html
index 147daefba2..184c15f3c2 100644
--- a/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html
+++ b/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -469,7 +469,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html
index ee7182e693..d30dad4ffc 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -480,7 +480,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_generic_forward_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_generic_forward_device.html
index ba42aa00b7..1e20c8c793 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_generic_forward_device.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_generic_forward_device.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -493,7 +493,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_boot_init.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_boot_init.html
index 9a65960b0e..1ea3dcdddb 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_boot_init.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_boot_init.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -493,7 +493,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html
index 1590bf4e73..b2d1806c05 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -553,7 +553,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_fault.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_fault.html
index cf2ab15d6b..08c2813ed8 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_fault.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_fault.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -490,7 +490,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_util.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_util.html
index f1c99a320d..0f2ae28f98 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_util.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_util.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -466,7 +466,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html
index 3f6e2bca77..8e925a37a1 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -493,7 +493,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html
index 297fab33f8..5a3a128025 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -494,7 +494,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html
index cefcee6af9..b45c9bb79f 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -539,7 +539,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html
index c1a71e0c03..1b1042a45b 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -553,7 +553,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html
index 4c7440e112..0b8453a165 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -512,7 +512,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html
index 6ba6576195..78d8413757 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -536,7 +536,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html
index 41852c67e0..9ea2940762 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -588,7 +588,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html
index 541077919b..c59b929639 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -466,7 +466,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html
index bc3803e0f1..5888e036ca 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -598,7 +598,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html
index b3a4932e29..2be9627e1a 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -594,7 +594,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html
index 98a2b6a444..d4bab65367 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -788,7 +788,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html
index 8fc0c363e0..ebee59d763 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -499,7 +499,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html
index eec5c03875..45b63aa21d 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -521,7 +521,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html
index 3ec99c9739..1c61ad8742 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -465,7 +465,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_guest_boot_init.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_guest_boot_init.html
index 7a51da32db..5156d68eb4 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_guest_boot_init.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_guest_boot_init.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -495,7 +495,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_vmm_pci_helper.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_vmm_pci_helper.html
index 1e5dd83814..4679b2689d 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_vmm_pci_helper.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_vmm_pci_helper.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -513,7 +513,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
Page last updated:
diff --git a/projects/virtualization/docs/index.html b/projects/virtualization/docs/index.html
index 092067dbf8..dffd753fbe 100644
--- a/projects/virtualization/docs/index.html
+++ b/projects/virtualization/docs/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.
-->
-
+
@@ -483,10 +483,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/virtualization/index.html b/projects/virtualization/index.html
index b85a6ae866..60484e9fbb 100644
--- a/projects/virtualization/index.html
+++ b/projects/virtualization/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.
-->
-
+
@@ -425,10 +425,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/virtualization/libsel4vm.html b/projects/virtualization/libsel4vm.html
index 664f409154..ffdd80c974 100644
--- a/projects/virtualization/libsel4vm.html
+++ b/projects/virtualization/libsel4vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -493,10 +493,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/projects/virtualization/libsel4vmmplatsupport.html b/projects/virtualization/libsel4vmmplatsupport.html
index bbb45574d3..eb16ac5c5a 100644
--- a/projects/virtualization/libsel4vmmplatsupport.html
+++ b/projects/virtualization/libsel4vmmplatsupport.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -519,10 +519,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes.html b/releases/camkes.html
index 508e220831..1e65cb663a 100644
--- a/releases/camkes.html
+++ b/releases/camkes.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -207,10 +207,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-2.0.0.html b/releases/camkes/camkes-2.0.0.html
index 5548e33373..4525415ef8 100644
--- a/releases/camkes/camkes-2.0.0.html
+++ b/releases/camkes/camkes-2.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -411,7 +411,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-2.1.0.html b/releases/camkes/camkes-2.1.0.html
index 703ecc5b79..754a20ed55 100644
--- a/releases/camkes/camkes-2.1.0.html
+++ b/releases/camkes/camkes-2.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -443,7 +443,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-2.2.0.html b/releases/camkes/camkes-2.2.0.html
index b1a279ba81..97029ec106 100644
--- a/releases/camkes/camkes-2.2.0.html
+++ b/releases/camkes/camkes-2.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -423,7 +423,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-2.3.0.html b/releases/camkes/camkes-2.3.0.html
index af0ba1e6dd..41a096fd87 100644
--- a/releases/camkes/camkes-2.3.0.html
+++ b/releases/camkes/camkes-2.3.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -419,7 +419,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-2.3.1.html b/releases/camkes/camkes-2.3.1.html
index 769495098a..3e7dc5767c 100644
--- a/releases/camkes/camkes-2.3.1.html
+++ b/releases/camkes/camkes-2.3.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -411,7 +411,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-3.0.0.html b/releases/camkes/camkes-3.0.0.html
index a41ef0aa4f..904e5b8c08 100644
--- a/releases/camkes/camkes-3.0.0.html
+++ b/releases/camkes/camkes-3.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -547,7 +547,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-3.1.0.html b/releases/camkes/camkes-3.1.0.html
index add0e4fde1..5f4f209fe7 100644
--- a/releases/camkes/camkes-3.1.0.html
+++ b/releases/camkes/camkes-3.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -450,7 +450,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-3.10.0.html b/releases/camkes/camkes-3.10.0.html
index 3da9c8b462..7f12251a00 100644
--- a/releases/camkes/camkes-3.10.0.html
+++ b/releases/camkes/camkes-3.10.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -450,7 +450,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-3.2.0.html b/releases/camkes/camkes-3.2.0.html
index c02079eb67..004d34b591 100644
--- a/releases/camkes/camkes-3.2.0.html
+++ b/releases/camkes/camkes-3.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -493,7 +493,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-3.3.0.html b/releases/camkes/camkes-3.3.0.html
index 2019824222..b5970f295c 100644
--- a/releases/camkes/camkes-3.3.0.html
+++ b/releases/camkes/camkes-3.3.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -441,7 +441,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-3.4.0.html b/releases/camkes/camkes-3.4.0.html
index 1e708e0750..e0894f32bf 100644
--- a/releases/camkes/camkes-3.4.0.html
+++ b/releases/camkes/camkes-3.4.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -424,7 +424,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-3.5.0.html b/releases/camkes/camkes-3.5.0.html
index fd4d3d6873..09ee3ffc35 100644
--- a/releases/camkes/camkes-3.5.0.html
+++ b/releases/camkes/camkes-3.5.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -434,7 +434,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-3.6.0.html b/releases/camkes/camkes-3.6.0.html
index 8ed474bd40..18b34ea8f4 100644
--- a/releases/camkes/camkes-3.6.0.html
+++ b/releases/camkes/camkes-3.6.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -451,7 +451,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-3.7.0.html b/releases/camkes/camkes-3.7.0.html
index 070a40c188..e8726811d3 100644
--- a/releases/camkes/camkes-3.7.0.html
+++ b/releases/camkes/camkes-3.7.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -422,7 +422,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-3.8.0.html b/releases/camkes/camkes-3.8.0.html
index 1e36cae003..519b76ef4a 100644
--- a/releases/camkes/camkes-3.8.0.html
+++ b/releases/camkes/camkes-3.8.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -473,7 +473,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/camkes/camkes-3.9.0.html b/releases/camkes/camkes-3.9.0.html
index 76a3748622..79a6a82233 100644
--- a/releases/camkes/camkes-3.9.0.html
+++ b/releases/camkes/camkes-3.9.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -555,7 +555,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/capdl/0.1.0.html b/releases/capdl/0.1.0.html
index 349403874a..9f04e08583 100644
--- a/releases/capdl/0.1.0.html
+++ b/releases/capdl/0.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -360,7 +360,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/capdl/0.2.0.html b/releases/capdl/0.2.0.html
index 7099401c89..829669045c 100644
--- a/releases/capdl/0.2.0.html
+++ b/releases/capdl/0.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -334,7 +334,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/capdl/0.2.1.html b/releases/capdl/0.2.1.html
index 4b05076d45..c83f5726a7 100644
--- a/releases/capdl/0.2.1.html
+++ b/releases/capdl/0.2.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -287,7 +287,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4.html b/releases/sel4.html
index 0c32f87457..5a040a6a6f 100644
--- a/releases/sel4.html
+++ b/releases/sel4.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -486,10 +486,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/0.0.1-rt-dev.html b/releases/sel4/0.0.1-rt-dev.html
index ec8b921f17..868095ee15 100644
--- a/releases/sel4/0.0.1-rt-dev.html
+++ b/releases/sel4/0.0.1-rt-dev.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -700,7 +700,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/1.0.0-rt-dev.html b/releases/sel4/1.0.0-rt-dev.html
index 5fa6f13e14..43ef4c0d98 100644
--- a/releases/sel4/1.0.0-rt-dev.html
+++ b/releases/sel4/1.0.0-rt-dev.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -768,7 +768,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/10.0.0.html b/releases/sel4/10.0.0.html
index 7bb0cc2d82..5c8a00af81 100644
--- a/releases/sel4/10.0.0.html
+++ b/releases/sel4/10.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -632,7 +632,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/10.1.0.html b/releases/sel4/10.1.0.html
index 044d62ea40..0acf1748c9 100644
--- a/releases/sel4/10.1.0.html
+++ b/releases/sel4/10.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -636,7 +636,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/10.1.1-mcs.html b/releases/sel4/10.1.1-mcs.html
index a902d64459..e321ae642b 100644
--- a/releases/sel4/10.1.1-mcs.html
+++ b/releases/sel4/10.1.1-mcs.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -826,7 +826,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/10.1.1.html b/releases/sel4/10.1.1.html
index 5046e2aea5..e069905f8e 100644
--- a/releases/sel4/10.1.1.html
+++ b/releases/sel4/10.1.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -617,7 +617,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/11.0.0.html b/releases/sel4/11.0.0.html
index 5aed24f6fe..4c37975de3 100644
--- a/releases/sel4/11.0.0.html
+++ b/releases/sel4/11.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -728,7 +728,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/12.0.0.html b/releases/sel4/12.0.0.html
index 8f2bf94865..f91b4b46aa 100644
--- a/releases/sel4/12.0.0.html
+++ b/releases/sel4/12.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -880,7 +880,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/12.1.0.html b/releases/sel4/12.1.0.html
index 1d7ad0fbe5..c10c17165a 100644
--- a/releases/sel4/12.1.0.html
+++ b/releases/sel4/12.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -756,7 +756,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/2.0.0.html b/releases/sel4/2.0.0.html
index bbe805ea69..7f56d249f3 100644
--- a/releases/sel4/2.0.0.html
+++ b/releases/sel4/2.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -751,7 +751,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/2.1.0.html b/releases/sel4/2.1.0.html
index 9637b530c3..73eb3850ad 100644
--- a/releases/sel4/2.1.0.html
+++ b/releases/sel4/2.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -630,7 +630,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/3.0.0.html b/releases/sel4/3.0.0.html
index bedb7c521c..c065750695 100644
--- a/releases/sel4/3.0.0.html
+++ b/releases/sel4/3.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -714,7 +714,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/3.0.1.html b/releases/sel4/3.0.1.html
index 7ec447b85c..d8af21748c 100644
--- a/releases/sel4/3.0.1.html
+++ b/releases/sel4/3.0.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -617,7 +617,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/3.1.0.html b/releases/sel4/3.1.0.html
index f04fb00462..fc0db7769f 100644
--- a/releases/sel4/3.1.0.html
+++ b/releases/sel4/3.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -637,7 +637,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/3.2.0.html b/releases/sel4/3.2.0.html
index 422997e87b..77c11c571e 100644
--- a/releases/sel4/3.2.0.html
+++ b/releases/sel4/3.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -640,7 +640,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/4.0.0.html b/releases/sel4/4.0.0.html
index c84acd11f4..1f204f3590 100644
--- a/releases/sel4/4.0.0.html
+++ b/releases/sel4/4.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -689,7 +689,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/5.0.0.html b/releases/sel4/5.0.0.html
index 7987b21db7..41ac3d0284 100644
--- a/releases/sel4/5.0.0.html
+++ b/releases/sel4/5.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -650,7 +650,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/5.1.0.html b/releases/sel4/5.1.0.html
index 4e4c6abb08..60288b5d28 100644
--- a/releases/sel4/5.1.0.html
+++ b/releases/sel4/5.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -630,7 +630,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/5.2.0-mcs.html b/releases/sel4/5.2.0-mcs.html
index 638aa6c561..11db1680dd 100644
--- a/releases/sel4/5.2.0-mcs.html
+++ b/releases/sel4/5.2.0-mcs.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -830,7 +830,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/5.2.0.html b/releases/sel4/5.2.0.html
index 6dd74b078b..2d9e171d7a 100644
--- a/releases/sel4/5.2.0.html
+++ b/releases/sel4/5.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -631,7 +631,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/6.0.0.html b/releases/sel4/6.0.0.html
index 2659cb3436..fc629ab5d9 100644
--- a/releases/sel4/6.0.0.html
+++ b/releases/sel4/6.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -672,7 +672,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/7.0.0.html b/releases/sel4/7.0.0.html
index 79f40fbac4..7fff73e8af 100644
--- a/releases/sel4/7.0.0.html
+++ b/releases/sel4/7.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -662,7 +662,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/8.0.0.html b/releases/sel4/8.0.0.html
index affe37f545..5f73cf018c 100644
--- a/releases/sel4/8.0.0.html
+++ b/releases/sel4/8.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -640,7 +640,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/9.0.0-mcs.html b/releases/sel4/9.0.0-mcs.html
index 4afcd5cc9d..5f39e484ff 100644
--- a/releases/sel4/9.0.0-mcs.html
+++ b/releases/sel4/9.0.0-mcs.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -850,7 +850,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/9.0.0.html b/releases/sel4/9.0.0.html
index 11ae37f380..3dc0f855f0 100644
--- a/releases/sel4/9.0.0.html
+++ b/releases/sel4/9.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -652,7 +652,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/releases/sel4/9.0.1.html b/releases/sel4/9.0.1.html
index d1647e7caf..15ff9f1231 100644
--- a/releases/sel4/9.0.1.html
+++ b/releases/sel4/9.0.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -626,7 +626,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/sitemap.html b/sitemap.html
index 700c102a87..c0d02ccb14 100644
--- a/sitemap.html
+++ b/sitemap.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -927,10 +927,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/sitemap.xml b/sitemap.xml
index 252bb2f47b..106fbbf825 100644
--- a/sitemap.xml
+++ b/sitemap.xml
@@ -2,243 +2,243 @@
https://docs.sel4.systems/releases/camkes/camkes-2.0.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-2.1.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-2.2.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-2.3.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-2.3.1.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.0.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.1.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.10.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.2.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.3.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.4.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.5.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.6.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.7.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.8.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/camkes/camkes-3.9.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/capdl/0.1.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/capdl/0.2.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/capdl/0.2.1.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/0.0.1-rt-dev.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/1.0.0-rt-dev.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/10.0.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/10.1.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/10.1.1-mcs.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/10.1.1.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/11.0.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/12.0.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/12.1.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/2.0.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/2.1.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/3.0.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/3.0.1.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/3.1.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/3.2.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/4.0.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/5.0.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/5.1.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/5.2.0-mcs.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/5.2.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/6.0.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/7.0.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/8.0.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/9.0.0-mcs.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/9.0.0.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/releases/sel4/9.0.1.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/projects/camkes/status.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/projects/sel4/status.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/projects/sel4bench/status.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/projects/sel4test/status.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/projects/user_libs/status.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/updates/buildsystem/11.0.x.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x-arm-old.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/updates/elfloader/11.0.x.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/updates/sel4-tutorials/camkes-3.8.x.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/updates/sel4bench/11.0.x.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/updates/sel4runtime/11.0.x.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/updates/sel4test/11.0.x.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/updates/sel4webserver/camkes-3.8.x.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/updates/user_libs/11.0.x.html
-2023-08-11T03:17:05+00:00
+2023-08-11T18:26:28+00:00
https://docs.sel4.systems/projects/driver_framework/AddressingOtherDevices.html
@@ -812,10 +812,10 @@
https://docs.sel4.systems/Hardware/CEI_TK1_SOM/CANBoard/canboard_v3.pdf
-2023-08-11T03:12:42+00:00
+2023-08-11T18:20:33+00:00
https://docs.sel4.systems/Hardware/CEI_TK1_SOM/DaughterBoard/daughterboard_r3a_schematic.pdf
-2023-08-11T03:12:42+00:00
+2023-08-11T18:20:33+00:00
diff --git a/updates/buildsystem.html b/updates/buildsystem.html
index d87e4018d3..dc450c3b19 100644
--- a/updates/buildsystem.html
+++ b/updates/buildsystem.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -253,10 +253,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/buildsystem/11.0.x.html b/updates/buildsystem/11.0.x.html
index f4fcdefa29..5aedcf3dc3 100644
--- a/updates/buildsystem/11.0.x.html
+++ b/updates/buildsystem/11.0.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -360,7 +360,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/camkes-vm.html b/updates/camkes-vm.html
index 4ed913fcf4..8a55734e11 100644
--- a/updates/camkes-vm.html
+++ b/updates/camkes-vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -269,10 +269,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/camkes-vm/camkes-3.8.x-arm-old.html b/updates/camkes-vm/camkes-3.8.x-arm-old.html
index 55d268df19..b9a880538c 100644
--- a/updates/camkes-vm/camkes-3.8.x-arm-old.html
+++ b/updates/camkes-vm/camkes-3.8.x-arm-old.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -383,7 +383,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/camkes-vm/camkes-3.8.x.html b/updates/camkes-vm/camkes-3.8.x.html
index 266dc0c032..430b3cf624 100644
--- a/updates/camkes-vm/camkes-3.8.x.html
+++ b/updates/camkes-vm/camkes-3.8.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -313,7 +313,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/elfloader.html b/updates/elfloader.html
index cc18534c60..0cea0473a6 100644
--- a/updates/elfloader.html
+++ b/updates/elfloader.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -246,10 +246,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/elfloader/11.0.x.html b/updates/elfloader/11.0.x.html
index e4b98f1e37..9c3678d89a 100644
--- a/updates/elfloader/11.0.x.html
+++ b/updates/elfloader/11.0.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -349,7 +349,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/sel4-tutorials.html b/updates/sel4-tutorials.html
index 35260acdf7..248fdb7c52 100644
--- a/updates/sel4-tutorials.html
+++ b/updates/sel4-tutorials.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -253,10 +253,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/sel4-tutorials/camkes-3.8.x.html b/updates/sel4-tutorials/camkes-3.8.x.html
index de4e92ada1..da46c45ab4 100644
--- a/updates/sel4-tutorials/camkes-3.8.x.html
+++ b/updates/sel4-tutorials/camkes-3.8.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -303,7 +303,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/sel4bench.html b/updates/sel4bench.html
index 01a9e816a0..fac230f352 100644
--- a/updates/sel4bench.html
+++ b/updates/sel4bench.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -260,10 +260,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/sel4bench/11.0.x.html b/updates/sel4bench/11.0.x.html
index e1d70752c8..0999fbe864 100644
--- a/updates/sel4bench/11.0.x.html
+++ b/updates/sel4bench/11.0.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -316,7 +316,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/sel4runtime.html b/updates/sel4runtime.html
index aebb980f42..b73283586a 100644
--- a/updates/sel4runtime.html
+++ b/updates/sel4runtime.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -246,10 +246,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/sel4runtime/11.0.x.html b/updates/sel4runtime/11.0.x.html
index 13d5d661f9..700e3e3767 100644
--- a/updates/sel4runtime/11.0.x.html
+++ b/updates/sel4runtime/11.0.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -296,7 +296,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/sel4test.html b/updates/sel4test.html
index f7ab8f884d..b54c2a6ca1 100644
--- a/updates/sel4test.html
+++ b/updates/sel4test.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -260,10 +260,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/sel4test/11.0.x.html b/updates/sel4test/11.0.x.html
index e8aee24ffe..b6edf20e82 100644
--- a/updates/sel4test/11.0.x.html
+++ b/updates/sel4test/11.0.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -351,7 +351,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/sel4webserver.html b/updates/sel4webserver.html
index 2a7ad1d341..0e8975c2ad 100644
--- a/updates/sel4webserver.html
+++ b/updates/sel4webserver.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -253,10 +253,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/sel4webserver/camkes-3.8.x.html b/updates/sel4webserver/camkes-3.8.x.html
index 341e78dd82..8fedb20f55 100644
--- a/updates/sel4webserver/camkes-3.8.x.html
+++ b/updates/sel4webserver/camkes-3.8.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -276,7 +276,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/user_libs.html b/updates/user_libs.html
index 62956523f3..53ab66451c 100644
--- a/updates/user_libs.html
+++ b/updates/user_libs.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -274,10 +274,10 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
- Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
diff --git a/updates/user_libs/11.0.x.html b/updates/user_libs/11.0.x.html
index edda643f38..bd118dd199 100644
--- a/updates/user_libs/11.0.x.html
+++ b/updates/user_libs/11.0.x.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -633,7 +633,7 @@
- Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce
+ Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d