diff --git a/404.html b/404.html index 590f8b932a..fb501181de 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. --> - + diff --git a/CMA34DBMC/index.html b/CMA34DBMC/index.html index 87e835642c..692db2aa02 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. --> - + diff --git a/CommunityProjects.html b/CommunityProjects.html index 601968b209..0b3fee0059 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. --> - + diff --git a/GettingStarted.html b/GettingStarted.html index d8570a9f76..22689d832a 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. --> - + diff --git a/Hardware/BeagleBoard.html b/Hardware/BeagleBoard.html index f4fe445cfc..025a567938 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. --> - + diff --git a/Hardware/Beaglebone.html b/Hardware/Beaglebone.html index 9ca599d96e..2e4d9d7311 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. --> - + diff --git a/Hardware/CEI_TK1_SOM/CANBoard/index.html b/Hardware/CEI_TK1_SOM/CANBoard/index.html index 466ba3ce35..1297c79ac8 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. --> - + diff --git a/Hardware/CEI_TK1_SOM/DaughterBoard/index.html b/Hardware/CEI_TK1_SOM/DaughterBoard/index.html index 29126a4a75..c21ede3ef3 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. --> - + diff --git a/Hardware/CEI_TK1_SOM/L4TCan/index.html b/Hardware/CEI_TK1_SOM/L4TCan/index.html index 7f6d7cba6c..069d1a2053 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. --> - + diff --git a/Hardware/CEI_TK1_SOM/LogicPro8/index.html b/Hardware/CEI_TK1_SOM/LogicPro8/index.html index 7828c0f42c..ccc63f2d68 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. --> - + diff --git a/Hardware/CEI_TK1_SOM/Tk1SomMods/index.html b/Hardware/CEI_TK1_SOM/Tk1SomMods/index.html index 24794f006b..05b61ee66b 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. --> - + diff --git a/Hardware/CEI_TK1_SOM/index.html b/Hardware/CEI_TK1_SOM/index.html index 08bebe6932..441ce1f3bf 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. --> - + diff --git a/Hardware/GeneralARM.html b/Hardware/GeneralARM.html index 1fd5a6f7b3..df65f83fd0 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. --> - + diff --git a/Hardware/HiKey/index.html b/Hardware/HiKey/index.html index 2f1f1602cf..eff3df40e8 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. --> - + diff --git a/Hardware/IA32.html b/Hardware/IA32.html index 9fa68eaac5..a4e5335a38 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. --> - + diff --git a/Hardware/IF6410.html b/Hardware/IF6410.html index a7327271e1..888e03d005 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. --> - + diff --git a/Hardware/JetsonTX2.html b/Hardware/JetsonTX2.html index a67762f524..adc4890b6a 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. --> - + diff --git a/Hardware/Kzm.html b/Hardware/Kzm.html index 193aade9a2..ce600c6084 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. --> - + diff --git a/Hardware/MaaXBoard.html b/Hardware/MaaXBoard.html index 1cb34b36d4..a5e81c361e 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. --> - + diff --git a/Hardware/OdroidC2.html b/Hardware/OdroidC2.html index 05e3b703d0..729f6481c0 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. --> - + diff --git a/Hardware/OdroidC4.html b/Hardware/OdroidC4.html index e54148c37d..7e9bd4b8f6 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. --> - + diff --git a/Hardware/OdroidXU.html b/Hardware/OdroidXU.html index ae1a1f92ed..dbe560963f 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. --> - + diff --git a/Hardware/OdroidXU4.html b/Hardware/OdroidXU4.html index 9df947054c..8fa7a7d486 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. --> - + diff --git a/Hardware/Rpi3.html b/Hardware/Rpi3.html index 7c0fda47c3..c519dac21b 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. --> - + diff --git a/Hardware/Rpi4.html b/Hardware/Rpi4.html index 29d3598476..71d9ae428f 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. --> - + diff --git a/Hardware/VMware/index.html b/Hardware/VMware/index.html index e93db1b553..71cf2c6356 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. --> - + diff --git a/Hardware/ZC706.html b/Hardware/ZC706.html index 04f52aa7f8..98eb87781a 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. --> - + diff --git a/Hardware/ZCU102.html b/Hardware/ZCU102.html index 83035a769d..2af1efe9ec 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. --> - + diff --git a/Hardware/ariane.html b/Hardware/ariane.html index e13a4b532a..f7308484f2 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. --> - + diff --git a/Hardware/arndale.html b/Hardware/arndale.html index dbb3b4a952..354ef70031 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. --> - + diff --git a/Hardware/hifive.html b/Hardware/hifive.html index de16460ff8..10efd08b75 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. --> - + diff --git a/Hardware/imx8mm.html b/Hardware/imx8mm.html index 860866b8fc..dfca9e7006 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. --> - + diff --git a/Hardware/imx8mq.html b/Hardware/imx8mq.html index bf2c613fc7..7c950c04d3 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. --> - + diff --git a/Hardware/index.html b/Hardware/index.html index 9d99d72a96..c786aacadc 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. --> - + diff --git a/Hardware/jetsontk1.html b/Hardware/jetsontk1.html index c9bb6addda..b5e539ac96 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. --> - + diff --git a/Hardware/jetsontx1.html b/Hardware/jetsontx1.html index 63c3a4ab05..caacc82a17 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. --> - + diff --git a/Hardware/odroidx.html b/Hardware/odroidx.html index e9a1246cc6..575e4f1be4 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. --> - + diff --git a/Hardware/polarfire.html b/Hardware/polarfire.html index 360f9a9d32..95c475ccae 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. --> - + diff --git a/Hardware/rocketchip-zcu102.html b/Hardware/rocketchip-zcu102.html index c745f0c758..f01ea780c2 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. --> - + diff --git a/Hardware/rocketchip.html b/Hardware/rocketchip.html index 9e9926b939..7053256c03 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. --> - + diff --git a/Hardware/rockpro64.html b/Hardware/rockpro64.html index e4f1dd7ac6..66947cf3f0 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. --> - + diff --git a/Hardware/sabreLite.html b/Hardware/sabreLite.html index ec378aaa22..0dc9d5decf 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. --> - + diff --git a/Hardware/spike.html b/Hardware/spike.html index be6b07efd3..538b7607da 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. --> - + diff --git a/Hardware/ultra96v2.html b/Hardware/ultra96v2.html index ad1e5cf181..d070ce3a1d 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. --> - + diff --git a/MaintainedRepositories.html b/MaintainedRepositories.html index da05f14ec2..5cba1c28dc 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. --> - + diff --git a/SuggestedProjects.html b/SuggestedProjects.html index 497221ba16..b5f1a32283 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. --> - + diff --git a/Tutorials/camkes-vm-crossvm.html b/Tutorials/camkes-vm-crossvm.html index da4bd64a67..4a91395a3b 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. --> - + diff --git a/Tutorials/camkes-vm-linux.html b/Tutorials/camkes-vm-linux.html index 88e50649ae..888c181983 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. --> - + diff --git a/Tutorials/capabilities.html b/Tutorials/capabilities.html index 71a2986e8c..1f1ab84283 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. --> - + diff --git a/Tutorials/dynamic-1.html b/Tutorials/dynamic-1.html index f0585987c9..151d610d50 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. --> - + diff --git a/Tutorials/dynamic-2.html b/Tutorials/dynamic-2.html index a8c433deba..edfd0736bb 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. --> - + diff --git a/Tutorials/dynamic-3.html b/Tutorials/dynamic-3.html index 4633b8d670..d7417ad2ea 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. --> - + diff --git a/Tutorials/dynamic-4.html b/Tutorials/dynamic-4.html index 3b350d5931..8245053a31 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. --> - + diff --git a/Tutorials/fault-handlers.html b/Tutorials/fault-handlers.html index c6ad9388de..cf162ecedf 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. --> - + diff --git a/Tutorials/hello-camkes-0.html b/Tutorials/hello-camkes-0.html index 1d258edc27..3e94663a1e 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. --> - + diff --git a/Tutorials/hello-camkes-1.html b/Tutorials/hello-camkes-1.html index 2d2bd01d9f..8dc907cf03 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. --> - + diff --git a/Tutorials/hello-camkes-2.html b/Tutorials/hello-camkes-2.html index 906d1affb8..9556940093 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. --> - + diff --git a/Tutorials/hello-camkes-timer.html b/Tutorials/hello-camkes-timer.html index aff252948a..e9cb05810c 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. --> - + diff --git a/Tutorials/hello-world.html b/Tutorials/hello-world.html index 7741cb3674..f701608bb5 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. --> - + diff --git a/Tutorials/index.html b/Tutorials/index.html index 83cb3792a4..78080bba2f 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. --> - + diff --git a/Tutorials/interrupts.html b/Tutorials/interrupts.html index 948627e1d7..87f710f4f3 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. --> - + diff --git a/Tutorials/ipc.html b/Tutorials/ipc.html index a65202b5ab..d66cb7bd16 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. --> - + diff --git a/Tutorials/mapping.html b/Tutorials/mapping.html index 690eeb6694..fc3890e752 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. --> - + diff --git a/Tutorials/mcs.html b/Tutorials/mcs.html index ef4ce716d5..242d98c0c2 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. --> - + diff --git a/Tutorials/notifications.html b/Tutorials/notifications.html index f5c2114cc6..2c48b50ded 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. --> - + diff --git a/Tutorials/threads.html b/Tutorials/threads.html index 39ab92c55a..1de4bea33c 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. --> - + diff --git a/Tutorials/untyped.html b/Tutorials/untyped.html index cca7c14362..678247a0e0 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. --> - + diff --git a/assets/css/bootstrap.css.map b/assets/css/bootstrap.css.map index 3469b5a144..b9863d548d 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-20241227-3675-wdykc9/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_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 62da985438..900d15d803 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-20241227-3675-wdykc9/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20241227-3675-wdykc9/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20241228-3391-1tsd34h/_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 b1a883c838..afe10dc32b 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. --> - + diff --git a/processes/code-review.html b/processes/code-review.html index 1cfb718944..5e2b2dbc71 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. --> - + diff --git a/processes/conduct.html b/processes/conduct.html index 30c83a769b..6dc3b09ded 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. --> - + diff --git a/processes/contributing.html b/processes/contributing.html index dcf1dc3e68..95a81c9c59 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. --> - + diff --git a/processes/docs-contributing.html b/processes/docs-contributing.html index f80b5b5a73..ed10e560f2 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. --> - + diff --git a/processes/emails.html b/processes/emails.html index 1ceee4cdae..ce0eb4e234 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. --> - + diff --git a/processes/git-conventions.html b/processes/git-conventions.html index c80c264d0b..98dc237daa 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. --> - + diff --git a/processes/index.html b/processes/index.html index e9540d005f..537b59224e 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. --> - + diff --git a/processes/irc-channel.html b/processes/irc-channel.html index a5a5a29c38..5d8e313e61 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. --> - + diff --git a/processes/licenses.html b/processes/licenses.html index 4aac7363f2..ce0c802b26 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. --> - + diff --git a/processes/release-process.html b/processes/release-process.html index 90a6cbdd8b..8e2026a557 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. --> - + diff --git a/processes/rfc-process.html b/processes/rfc-process.html index 7f4afcac17..826c5f14d1 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. --> - + diff --git a/processes/roles.html b/processes/roles.html index 83c92aae0c..fed0e1a893 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. --> - + diff --git a/processes/style-guide.html b/processes/style-guide.html index a940cca278..539a555a06 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. --> - + diff --git a/processes/test-status.html b/processes/test-status.html index 940e3964cb..b5cb024d0a 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. --> - + diff --git a/processes/websites.html b/processes/websites.html index 87449144a2..f928b35462 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. --> - + diff --git a/projects/available-user-components.html b/projects/available-user-components.html index 5a4135e804..00632e757c 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. --> - + diff --git a/projects/buildsystem/host-dependencies.html b/projects/buildsystem/host-dependencies.html index 101fe757da..85de656a70 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. --> - + diff --git a/projects/buildsystem/incorporating.html b/projects/buildsystem/incorporating.html index 372fd9de97..94b82e1220 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. --> - + diff --git a/projects/buildsystem/index.html b/projects/buildsystem/index.html index 0e504440c2..d953808091 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. --> - + diff --git a/projects/buildsystem/old/index.html b/projects/buildsystem/old/index.html index 7715d98d59..00a3649e7b 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. --> - + diff --git a/projects/buildsystem/repo-cheatsheet.html b/projects/buildsystem/repo-cheatsheet.html index 7c1e6f1f1c..80ee50d9e2 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. --> - + diff --git a/projects/buildsystem/standalone.html b/projects/buildsystem/standalone.html index 6a4f115944..3b3a4f4535 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. --> - + diff --git a/projects/buildsystem/using.html b/projects/buildsystem/using.html index 65ca4984bc..5273e88da8 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. --> - + diff --git a/projects/camkes-vm/centos.html b/projects/camkes-vm/centos.html index 34a432252a..f7c0401bef 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. --> - + diff --git a/projects/camkes-vm/index.html b/projects/camkes-vm/index.html index b93d99a3d2..eb2d72bb2c 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. --> - + diff --git a/projects/camkes-vm/zmq-samples.html b/projects/camkes-vm/zmq-samples.html index cc406bb71d..d41d3e6c89 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. --> - + diff --git a/projects/camkes/cli.html b/projects/camkes/cli.html index a7ff5b1d2e..8dca34afa8 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. --> - + diff --git a/projects/camkes/differences.html b/projects/camkes/differences.html index c86e974945..76ae025c77 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. --> - + diff --git a/projects/camkes/index.html b/projects/camkes/index.html index b5c861de30..5d051e1d92 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. --> - + diff --git a/projects/camkes/internals.html b/projects/camkes/internals.html index 39a8bd15a2..34edef85b9 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. --> - + diff --git a/projects/camkes/manual.html b/projects/camkes/manual.html index 9e72e97256..284cb7d1ef 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. --> - + diff --git a/projects/camkes/next.html b/projects/camkes/next.html index 3a735fd27c..cd42822876 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. --> - + diff --git a/projects/camkes/seL4SharedDataWithCaps.html b/projects/camkes/seL4SharedDataWithCaps.html index b0c666cc9a..f9bafd60ea 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. --> - + diff --git a/projects/camkes/status.html b/projects/camkes/status.html index e5c38fd6d4..edea9c5349 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. --> - + diff --git a/projects/camkes/terminology.html b/projects/camkes/terminology.html index 2c5f49f152..25e44509fa 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. --> - + diff --git a/projects/camkes/visual-camkes/index.html b/projects/camkes/visual-camkes/index.html index 5250d380c5..d3e359c7b8 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. --> - + diff --git a/projects/capdl/c-loader-app.html b/projects/capdl/c-loader-app.html index a6d98f6817..096f2151ba 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. --> - + diff --git a/projects/capdl/cdl-utils.html b/projects/capdl/cdl-utils.html index 27696f314a..ce50fcbe0e 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. --> - + diff --git a/projects/capdl/index.html b/projects/capdl/index.html index edf28985f4..7c458420c9 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. --> - + diff --git a/projects/capdl/object-sizes.html b/projects/capdl/object-sizes.html index cf64158eb2..79a791201c 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. --> - + diff --git a/projects/capdl/python-tool.html b/projects/capdl/python-tool.html index 85ef401896..b7f1abbe25 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. --> - + diff --git a/projects/capdl/translator.html b/projects/capdl/translator.html index c70970ae8c..3fde4399ba 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. --> - + diff --git a/projects/dockerfiles/index.html b/projects/dockerfiles/index.html index 2218a9a9f2..b7b160028f 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. --> - + diff --git a/projects/docsite/index.html b/projects/docsite/index.html index 44d0f96b7e..c381e9edfa 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. --> - + diff --git a/projects/driver_framework/AddressingOtherDevices.html b/projects/driver_framework/AddressingOtherDevices.html index b9c381d78c..3721a400f7 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. --> - + diff --git a/projects/driver_framework/ChildEnumeration.html b/projects/driver_framework/ChildEnumeration.html index 5d803a00db..c57cc10fbc 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. --> - + diff --git a/projects/driver_framework/DriverManagement.html b/projects/driver_framework/DriverManagement.html index 3db991b240..a37b5abf4a 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. --> - + diff --git a/projects/elfloader/index.html b/projects/elfloader/index.html index a1f3c41928..0812865820 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. --> - + diff --git a/projects/hardware_hacks/index.html b/projects/hardware_hacks/index.html index c78480f72c..65f0538cda 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. --> - + diff --git a/projects/hardware_hacks/level-converter/index.html b/projects/hardware_hacks/level-converter/index.html index 34ba0ab123..64627e22c9 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. --> - + diff --git a/projects/index.html b/projects/index.html index 6764cb34b1..ed348b2e22 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. --> - + diff --git a/projects/l4v/index.html b/projects/l4v/index.html index 905b13ea1f..3b322e925b 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. --> - + diff --git a/projects/microkit/index.html b/projects/microkit/index.html index be6f7af10b..96901dce1a 100644 --- a/projects/microkit/index.html +++ b/projects/microkit/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. --> - + diff --git a/projects/roadmap.html b/projects/roadmap.html index a42b6bd577..90b729b82b 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. --> - + diff --git a/projects/rust/index.html b/projects/rust/index.html index eb15b6e10d..2d79913dd1 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. --> - + diff --git a/projects/sel4-tutorials/benchmarking-guide.html b/projects/sel4-tutorials/benchmarking-guide.html index 7724319184..3c5ed98565 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. --> - + diff --git a/projects/sel4-tutorials/debugging-guide.html b/projects/sel4-tutorials/debugging-guide.html index a6d8e72982..a4a2225d5b 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. --> - + diff --git a/projects/sel4-tutorials/debugging-userspace.html b/projects/sel4-tutorials/debugging-userspace.html index 39f9ee6adc..e1b7cf5dbf 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. --> - + diff --git a/projects/sel4/api-doc.html b/projects/sel4/api-doc.html index 56dd0c0a5c..ae4faecbdf 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. --> - + diff --git a/projects/sel4/documentation.html b/projects/sel4/documentation.html index bda90ce972..3dd381e1ce 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. --> - + diff --git a/projects/sel4/frequently-asked-questions.html b/projects/sel4/frequently-asked-questions.html index 53e4cd8a18..182047b871 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. --> - + diff --git a/projects/sel4/index.html b/projects/sel4/index.html index a978ebaf4b..f138134b9c 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. --> - + diff --git a/projects/sel4/kernel-contribution.html b/projects/sel4/kernel-contribution.html index c1a404c5b1..b1b8d7d074 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. --> - + diff --git a/projects/sel4/manual-api-generation.html b/projects/sel4/manual-api-generation.html index 3a469ff2a0..119de3e6f4 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. --> - + diff --git a/projects/sel4/platf-owner.html b/projects/sel4/platf-owner.html index 79c7ae7404..7d85656552 100644 --- a/projects/sel4/platf-owner.html +++ b/projects/sel4/platf-owner.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/projects/sel4/porting.html b/projects/sel4/porting.html index 619c05332c..bc12c22283 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. --> - + diff --git a/projects/sel4/status.html b/projects/sel4/status.html index c53a2fd48a..221ecd8b6e 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. --> - + diff --git a/projects/sel4/verified-configurations.html b/projects/sel4/verified-configurations.html index ffed521dc4..b082beb710 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. --> - + diff --git a/projects/sel4_tools/index.html b/projects/sel4_tools/index.html index 2c2b92a793..600e15fd67 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. --> - + diff --git a/projects/sel4bench/index.html b/projects/sel4bench/index.html index f91b8cfd38..3343c92347 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. --> - + diff --git a/projects/sel4bench/status.html b/projects/sel4bench/status.html index 2e2e7efb33..7db3a298d0 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. --> - + diff --git a/projects/sel4runtime/index.html b/projects/sel4runtime/index.html index 530fbfab96..ed8cd77782 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. --> - + diff --git a/projects/sel4test/index.html b/projects/sel4test/index.html index b7c133247a..9a65225424 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. --> - + diff --git a/projects/sel4test/status.html b/projects/sel4test/status.html index 3744881bcc..66bb3687d9 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. --> - + diff --git a/projects/sel4webserver/index.html b/projects/sel4webserver/index.html index ae446e83aa..597d4ff591 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. --> - + diff --git a/projects/user_libs/index.html b/projects/user_libs/index.html index bb5e6ee169..e9452d8bd3 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. --> - + diff --git a/projects/user_libs/status.html b/projects/user_libs/status.html index ca0008712f..a534945b9f 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html index 52e712386a..2f10eea3ad 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_boot.html b/projects/virtualization/docs/api/libsel4vm_boot.html index 363d2f46cd..db4383a488 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html b/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html index c0705681e9..7d678c7bf6 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_guest_iospace.html b/projects/virtualization/docs/api/libsel4vm_guest_iospace.html index 3c5af7e981..5958389101 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html b/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html index f1246c3c2d..11746ca252 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_guest_memory.html b/projects/virtualization/docs/api/libsel4vm_guest_memory.html index d26130ac01..08e530af6e 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html b/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html index 600055d6a0..93dd918a39 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_guest_ram.html b/projects/virtualization/docs/api/libsel4vm_guest_ram.html index d1ff303801..9c3e5ce9e1 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html b/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html index 2e3a45982f..1420115fa4 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_guest_vm.html index 69587b5a07..90c5659c80 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html b/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html index 7fa59cf78f..5d1a482364 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html b/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html index 39108b2e6f..d8adef7a5a 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html index c3c326c8d6..b4b4d2fe66 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_x86_ioports.html b/projects/virtualization/docs/api/libsel4vm_x86_ioports.html index 85ee8f4be0..7e3d129d8b 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html b/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html index 7325e390f8..ee11fad51a 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html index 4c8e191a13..c699c1c263 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. --> - + 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 8f8098b92d..5bc510b265 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. --> - + 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 b3de1b1c69..060d44f524 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html index 88d297affe..bd7d09e2d1 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. --> - + 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 54691a34bf..f131061122 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. --> - + 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 8add3bc44b..ce89ccd57e 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html index f20976b083..8244203985 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html index 1825346305..e86e346385 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html index 33b9651a70..f2a7c471a3 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html index 24583e854a..93de7fba52 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html index a2335cb2fc..fde95ac30f 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html index a53843b221..1e5a880524 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html index 6ae185673e..e18ca96c5d 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html index 029f342b2a..a983f9b764 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html index 232f055bce..58de3e5182 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html index 4182bdd81b..2e60a9b20a 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html index b9b1cad42c..86f03b1623 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html index 5c456e125f..4c62b0724b 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html index bcea155127..6d7d955d86 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. --> - + diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html index 657963a88c..50257a9575 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. --> - + 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 f028da7620..8bf5816d9f 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. --> - + 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 57317d59ba..795249877c 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. --> - + diff --git a/projects/virtualization/docs/index.html b/projects/virtualization/docs/index.html index 5af0346bce..2fafcc89b2 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. --> - + diff --git a/projects/virtualization/index.html b/projects/virtualization/index.html index b0c6dd0ca3..be38ea93cb 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. --> - + diff --git a/projects/virtualization/libsel4vm.html b/projects/virtualization/libsel4vm.html index 5d8b36812b..21a451b81e 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. --> - + diff --git a/projects/virtualization/libsel4vmmplatsupport.html b/projects/virtualization/libsel4vmmplatsupport.html index a63e302bc2..ff9a7ded4c 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. --> - + diff --git a/releases/camkes.html b/releases/camkes.html index abba5aed66..f176598c49 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. --> - + diff --git a/releases/camkes/camkes-2.0.0.html b/releases/camkes/camkes-2.0.0.html index a74cf835d9..9e865abcf6 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. --> - + diff --git a/releases/camkes/camkes-2.1.0.html b/releases/camkes/camkes-2.1.0.html index 21f868748f..df5263df8e 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. --> - + diff --git a/releases/camkes/camkes-2.2.0.html b/releases/camkes/camkes-2.2.0.html index 31563e506a..a4973f1c8d 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. --> - + diff --git a/releases/camkes/camkes-2.3.0.html b/releases/camkes/camkes-2.3.0.html index cfc746238b..cfdcff59c7 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. --> - + diff --git a/releases/camkes/camkes-2.3.1.html b/releases/camkes/camkes-2.3.1.html index a9509445f2..173c480c0a 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. --> - + diff --git a/releases/camkes/camkes-3.0.0.html b/releases/camkes/camkes-3.0.0.html index d427ce5da1..b7d91497df 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. --> - + diff --git a/releases/camkes/camkes-3.1.0.html b/releases/camkes/camkes-3.1.0.html index d333e2b7db..d412e50d7a 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. --> - + diff --git a/releases/camkes/camkes-3.10.0.html b/releases/camkes/camkes-3.10.0.html index a106916b87..91e53d287c 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. --> - + diff --git a/releases/camkes/camkes-3.11.0.html b/releases/camkes/camkes-3.11.0.html index 9bfc1cedc2..861c42b5c4 100644 --- a/releases/camkes/camkes-3.11.0.html +++ b/releases/camkes/camkes-3.11.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. --> - + diff --git a/releases/camkes/camkes-3.2.0.html b/releases/camkes/camkes-3.2.0.html index 79dae21020..0d8df1a6c4 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. --> - + diff --git a/releases/camkes/camkes-3.3.0.html b/releases/camkes/camkes-3.3.0.html index 8ec2dd727c..1713832562 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. --> - + diff --git a/releases/camkes/camkes-3.4.0.html b/releases/camkes/camkes-3.4.0.html index 9e7b3ef228..fd237ec207 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. --> - + diff --git a/releases/camkes/camkes-3.5.0.html b/releases/camkes/camkes-3.5.0.html index f8914eed4d..fe45fd85ef 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. --> - + diff --git a/releases/camkes/camkes-3.6.0.html b/releases/camkes/camkes-3.6.0.html index 8bf956bef9..aa8be34aa0 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. --> - + diff --git a/releases/camkes/camkes-3.7.0.html b/releases/camkes/camkes-3.7.0.html index 11d15dc539..8ef1be0570 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. --> - + diff --git a/releases/camkes/camkes-3.8.0.html b/releases/camkes/camkes-3.8.0.html index 6400bd37f9..3e654e2c2b 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. --> - + diff --git a/releases/camkes/camkes-3.9.0.html b/releases/camkes/camkes-3.9.0.html index 22d8b569b6..e10b16899c 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. --> - + diff --git a/releases/capdl/0.1.0.html b/releases/capdl/0.1.0.html index f331a616b5..a030c79b20 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. --> - + diff --git a/releases/capdl/0.2.0.html b/releases/capdl/0.2.0.html index 8382156a59..574a1e84bc 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. --> - + diff --git a/releases/capdl/0.2.1.html b/releases/capdl/0.2.1.html index 412ba5f87d..9e6ede75b8 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. --> - + diff --git a/releases/capdl/0.3.0.html b/releases/capdl/0.3.0.html index edb5a01971..f9ddf43c49 100644 --- a/releases/capdl/0.3.0.html +++ b/releases/capdl/0.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. --> - + diff --git a/releases/microkit/1.3.0.html b/releases/microkit/1.3.0.html index d2e82285f1..24e1dad362 100644 --- a/releases/microkit/1.3.0.html +++ b/releases/microkit/1.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. --> - + diff --git a/releases/microkit/1.4.0.html b/releases/microkit/1.4.0.html index df2b0136ee..e8a2ba4e0c 100644 --- a/releases/microkit/1.4.0.html +++ b/releases/microkit/1.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. --> - + diff --git a/releases/microkit/1.4.1.html b/releases/microkit/1.4.1.html index c295ad6582..942a64de2e 100644 --- a/releases/microkit/1.4.1.html +++ b/releases/microkit/1.4.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. --> - + diff --git a/releases/sel4.html b/releases/sel4.html index 81f2057ca5..9af392f4df 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. --> - + diff --git a/releases/sel4/0.0.1-rt-dev.html b/releases/sel4/0.0.1-rt-dev.html index 5208d8e976..c413a3dc98 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. --> - + diff --git a/releases/sel4/1.0.0-rt-dev.html b/releases/sel4/1.0.0-rt-dev.html index 846f092e9f..8e73c58a42 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. --> - + diff --git a/releases/sel4/10.0.0.html b/releases/sel4/10.0.0.html index 4b76308fa3..1c74941482 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. --> - + diff --git a/releases/sel4/10.1.0.html b/releases/sel4/10.1.0.html index fdc01dbc2e..2912bebc87 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. --> - + diff --git a/releases/sel4/10.1.1-mcs.html b/releases/sel4/10.1.1-mcs.html index 6804022b71..af2b071fba 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. --> - + diff --git a/releases/sel4/10.1.1.html b/releases/sel4/10.1.1.html index ab8be35b2f..ea23b625a8 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. --> - + diff --git a/releases/sel4/11.0.0.html b/releases/sel4/11.0.0.html index 66891ebf27..d8a0f4d81b 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. --> - + diff --git a/releases/sel4/12.0.0.html b/releases/sel4/12.0.0.html index 8a0074b157..2ae5949c01 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. --> - + diff --git a/releases/sel4/12.1.0.html b/releases/sel4/12.1.0.html index 45e2fce6e9..e3dd75448d 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. --> - + diff --git a/releases/sel4/13.0.0.html b/releases/sel4/13.0.0.html index 230a3d9f28..dfe5b4e59a 100644 --- a/releases/sel4/13.0.0.html +++ b/releases/sel4/13.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. --> - + diff --git a/releases/sel4/2.0.0.html b/releases/sel4/2.0.0.html index 29efa0b886..b7d50fde96 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. --> - + diff --git a/releases/sel4/2.1.0.html b/releases/sel4/2.1.0.html index 4048b97ceb..5d3aeca384 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. --> - + diff --git a/releases/sel4/3.0.0.html b/releases/sel4/3.0.0.html index a2c831a85e..8208e7efc7 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. --> - + diff --git a/releases/sel4/3.0.1.html b/releases/sel4/3.0.1.html index 024f325b8e..b5fa6a0721 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. --> - + diff --git a/releases/sel4/3.1.0.html b/releases/sel4/3.1.0.html index 17d648faee..86d9ceeb11 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. --> - + diff --git a/releases/sel4/3.2.0.html b/releases/sel4/3.2.0.html index 07eba0cca6..731ad53c7f 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. --> - + diff --git a/releases/sel4/4.0.0.html b/releases/sel4/4.0.0.html index 385885fe7f..51d1369cfb 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. --> - + diff --git a/releases/sel4/5.0.0.html b/releases/sel4/5.0.0.html index c23d22ebe2..0bb25bf9ee 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. --> - + diff --git a/releases/sel4/5.1.0.html b/releases/sel4/5.1.0.html index d331de9abe..f6fd095f66 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. --> - + diff --git a/releases/sel4/5.2.0-mcs.html b/releases/sel4/5.2.0-mcs.html index 5ad1d5f7ef..8f2b7455c0 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. --> - + diff --git a/releases/sel4/5.2.0.html b/releases/sel4/5.2.0.html index 6e3b057da5..15057d82f9 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. --> - + diff --git a/releases/sel4/6.0.0.html b/releases/sel4/6.0.0.html index 6777ebbe82..732d4cd0cc 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. --> - + diff --git a/releases/sel4/7.0.0.html b/releases/sel4/7.0.0.html index bad7b8eb11..7bda050e6e 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. --> - + diff --git a/releases/sel4/8.0.0.html b/releases/sel4/8.0.0.html index 7134a80f3b..4d26d5e0e8 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. --> - + diff --git a/releases/sel4/9.0.0-mcs.html b/releases/sel4/9.0.0-mcs.html index 14d221fd07..0f3d6a7c26 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. --> - + diff --git a/releases/sel4/9.0.0.html b/releases/sel4/9.0.0.html index fa32020756..4b7754d25f 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. --> - + diff --git a/releases/sel4/9.0.1.html b/releases/sel4/9.0.1.html index bd96cb6dd4..272e70d681 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. --> - + diff --git a/sitemap.html b/sitemap.html index 3952074762..49f18dbe80 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. --> - + diff --git a/sitemap.xml b/sitemap.xml index f33796dc92..92320bd8d3 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -2,267 +2,267 @@ https://docs.sel4.systems/releases/camkes/camkes-2.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.1.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.2.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.1.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.1.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.10.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.11.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.2.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.3.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.4.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.5.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.6.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.7.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.8.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.9.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/capdl/0.1.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/capdl/0.2.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/capdl/0.2.1.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/capdl/0.3.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/microkit/1.3.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/microkit/1.4.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/microkit/1.4.1.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/0.0.1-rt-dev.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/1.0.0-rt-dev.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/10.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/10.1.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/10.1.1-mcs.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/10.1.1.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/11.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/12.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/12.1.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/13.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/2.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/2.1.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/3.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/3.0.1.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/3.1.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/3.2.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/4.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/5.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/5.1.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/5.2.0-mcs.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/5.2.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/6.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/7.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/8.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/9.0.0-mcs.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/9.0.0.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/releases/sel4/9.0.1.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/projects/camkes/status.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/projects/sel4/status.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/projects/sel4bench/status.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/projects/sel4test/status.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/projects/user_libs/status.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/updates/buildsystem/11.0.x.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x-arm-old.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/updates/elfloader/11.0.x.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/updates/sel4-tutorials/camkes-3.8.x.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/updates/sel4bench/11.0.x.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/updates/sel4runtime/11.0.x.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/updates/sel4test/11.0.x.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/updates/sel4webserver/camkes-3.8.x.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/updates/user_libs/11.0.x.html -2024-12-27T03:16:00+00:00 +2024-12-28T03:16:02+00:00 https://docs.sel4.systems/projects/driver_framework/AddressingOtherDevices.html @@ -842,10 +842,10 @@ https://docs.sel4.systems/Hardware/CEI_TK1_SOM/CANBoard/canboard_v3.pdf -2024-12-27T03:14:55+00:00 +2024-12-28T03:14:25+00:00 https://docs.sel4.systems/Hardware/CEI_TK1_SOM/DaughterBoard/daughterboard_r3a_schematic.pdf -2024-12-27T03:14:55+00:00 +2024-12-28T03:14:25+00:00 diff --git a/updates/buildsystem.html b/updates/buildsystem.html index 01ed6bf768..885fef4434 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. --> - + diff --git a/updates/buildsystem/11.0.x.html b/updates/buildsystem/11.0.x.html index 94ca97620c..d17992a92d 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. --> - + diff --git a/updates/camkes-vm.html b/updates/camkes-vm.html index 55f80fd13a..563bd3af5a 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. --> - + 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 724d7be4bf..9b12e34f51 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. --> - + diff --git a/updates/camkes-vm/camkes-3.8.x.html b/updates/camkes-vm/camkes-3.8.x.html index ebfd283a8b..4bd0283597 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. --> - + diff --git a/updates/elfloader.html b/updates/elfloader.html index d002255337..ca15577738 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. --> - + diff --git a/updates/elfloader/11.0.x.html b/updates/elfloader/11.0.x.html index 68d4c73581..7c9abc8c41 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. --> - + diff --git a/updates/sel4-tutorials.html b/updates/sel4-tutorials.html index 92cbfb58a9..f1561d3013 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. --> - + diff --git a/updates/sel4-tutorials/camkes-3.8.x.html b/updates/sel4-tutorials/camkes-3.8.x.html index 55d46b37b2..cdb07ce056 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. --> - + diff --git a/updates/sel4bench.html b/updates/sel4bench.html index d37f2ef097..5f8dfb1f7f 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. --> - + diff --git a/updates/sel4bench/11.0.x.html b/updates/sel4bench/11.0.x.html index 52ac0f4766..8719d51137 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. --> - + diff --git a/updates/sel4runtime.html b/updates/sel4runtime.html index 8be116e798..4e6f38572a 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. --> - + diff --git a/updates/sel4runtime/11.0.x.html b/updates/sel4runtime/11.0.x.html index 6c88d58b96..7670e244be 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. --> - + diff --git a/updates/sel4test.html b/updates/sel4test.html index 172ffbe6d6..fadc01b68b 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. --> - + diff --git a/updates/sel4test/11.0.x.html b/updates/sel4test/11.0.x.html index 272bafe46c..bbd47d72c4 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. --> - + diff --git a/updates/sel4webserver.html b/updates/sel4webserver.html index c356eee40c..b7908a10d7 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. --> - + diff --git a/updates/sel4webserver/camkes-3.8.x.html b/updates/sel4webserver/camkes-3.8.x.html index a4cd88dba8..5389a0c4f8 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. --> - + diff --git a/updates/user_libs.html b/updates/user_libs.html index 0ffba36eef..3912edd672 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. --> - + diff --git a/updates/user_libs/11.0.x.html b/updates/user_libs/11.0.x.html index 6937ad3418..b501f77ffe 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. --> - +