diff --git a/404.html b/404.html index a64aa74005..2da4f94b9b 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 853b805797..d287d118ea 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 3656cd5833..b95ac99d90 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 00d4abad05..f0497e3ec7 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 2aa5618dcc..2847d81caa 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 187944340f..e8defcdca4 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 9e7e1b21cd..aee203f09a 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 497ce6ca52..ec93a362b3 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 4a9739414c..8a65e40f8f 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 2cb55279f3..7a094656c0 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 7e53b5512f..c0c0baaf86 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 4d02cc09de..bd2ab0ee87 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 9813e27d28..02dacb3957 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 d63e9b9971..81a571c3c5 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 cb332ffaae..2bb08cac15 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 1793fa1d84..ae3b20f78b 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 faad6b8c20..caa79fab5e 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 b523b2cb11..5936148166 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 42114711f9..99d9b1e9a8 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 9c0cea8fd2..f37569b236 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 1e381aad1a..572f465671 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 cd62419bcc..6b6e3dbad3 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 bd1dbacf93..b8af1559bc 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 3105219cfd..19090c7769 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 9d2a29f26f..8e00f78cb8 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 1fb272e536..e28b48991e 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 a1fd9fe439..2fec797e6c 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 33f73ba5f9..ed4bb31ead 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 a4a84aa965..14e7e738ba 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 04c32e6442..ae137edd70 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 cc5a1a5125..61ee7806ae 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 81bc84db47..8b02e7006c 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 bc6eedba20..ab177f7cdb 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 9252f352d4..a32ebff6e4 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 8ac0d76c86..96cc19ff94 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 273ca570ec..2fb08c3514 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 ec9f868ee3..44db54913e 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 fb90088966..b1b3222b7e 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 17b02ceb6f..a881d500af 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 de2dfd32cf..4eed662aea 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 180ccdb018..65409b49b3 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 62a24f69d0..15121fd6ef 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 b25eca875b..84adfecb2e 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 2c6e100a4c..6e24f9068c 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 81e999f401..7ca005e0b0 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 a991e82db3..6fa3fca4e7 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 039bf44b6f..aadcab85d7 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 ce50ee7f30..8853343242 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 063d24e0e1..48a091813f 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 bf41e69aea..b5e69fffa6 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 61e2e67271..a75b789497 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 6ec31a2e4f..857678be44 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 3ec9e10e10..4eb126ce9f 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 cbccaeaa87..30eab8e5a4 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 962bc807a0..87d132842f 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 be096cf82f..9983eea0fb 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 4281836c73..f45c9259ff 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 d90fffbf2a..153d4eccec 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 aa647865e6..5e3e5b8639 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 2491a168eb..a2d044dcb9 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 808a24a536..ce48d29b6e 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 5368c1f3aa..6344cf5871 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 50b38bb592..30c6964218 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 2c239e5144..5249bb1ac1 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 968079b2ef..da9b66aa51 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 7d766fa0fb..d3613cb978 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 ff8610933f..86394a3792 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 269e07d359..20aa2b1063 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-20231026-4330-17t8viz/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_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 3a07b06ab5..029b88b3d3 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-20231026-4330-17t8viz/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20231026-4330-17t8viz/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20231027-4295-rqx8lu/_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 b083566bf3..6c2637df80 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 f39e1a55a7..90392c9265 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 56fb32d853..c460d802f8 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 26739c03ad..98ae6c516e 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 62a990a875..76b77eac2e 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 e66b501752..c64659e304 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 924860f7b9..399100c8f0 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 e06d8b6361..f8dd7283e1 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 7469ef0217..28b15c72eb 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 b61f482aac..a7ff089b4c 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 e8cd1fa81c..7aedc26195 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 51d91b4517..1b6cee24bb 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 e7c20cd11e..a55148c653 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 8b3e02b5d5..46710682d3 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 1018f7247c..7a884c3834 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 d36b710af6..88ba17e1fd 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 590452baf5..51ce1c1983 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 a955b0b56f..297320786e 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 9a8876ddb4..7d45eba108 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 1db8487b0b..f00945dc47 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 4155230b39..7d84a64cdb 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 4fe4eb7842..88ee4d98e7 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 8e17bc5100..8be1840490 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 b6089687a0..aef4f6f465 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 79a77ab796..93180c5b04 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 d25c0e4104..8e605942d3 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 516bf738ba..9ca88fa05a 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 7b1e180a6b..78ac3e1e6e 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 5b5297c4fc..beb8692b32 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 811860bc1b..15c2441e55 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 b9d5fc2db2..b3b0b73657 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 290899e7f3..6e9ea354b8 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 9aee4cafb1..be973186db 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 b0faf6f59e..5b17d82f3b 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 aea7261188..827f5fdaed 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 3e35f09b5a..c411219dd0 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 276c38483e..f79e5cdb4b 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 cc1c15f37c..b73f609f04 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 b6ea2cd8ec..5b6eee90fc 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 b874094adc..dfbc0f255d 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 1c691d8cef..5801844212 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 534ce857ee..724e3d9246 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 ac06c3a31d..11738788aa 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 82e0e88fe1..239cf4c4db 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 15168aa418..dbcfc25732 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 e1b3a2f776..85dc7ce9bf 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 4a9dfd63cb..43589205cf 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 ec55a8c11d..97b1347c21 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 b2019cb974..c01b09e956 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 1b57f30324..b0c633f857 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 c09196c153..64de6fae9d 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 d8c07d5d37..2ba9c79c85 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 1a69c1c0d0..012761d57b 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 6f8275dd5f..2b2247cf60 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 3025f2a5cc..9b061c5937 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 9c71ab2d90..c24ad5e2f3 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 cb9b72c2e4..fa72a59aee 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 70c163cf5f..671a92205a 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 d2ce995466..06b5a7df55 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 6ea2ffb5bd..174ab6fde0 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 eb271c48da..2646ad6f40 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 3b82223ee4..f7396b9e19 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 44a18f0761..5709d9ad52 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 7816c80cb7..456d185d96 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 13d42b0be3..70eefa8922 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/porting.html b/projects/sel4/porting.html index a290627702..be21f1a766 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 6eec03ee45..bd4abce6b1 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 30f81464db..c9f2a177c1 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 c93cb6b36b..a2dbf427b0 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 c946446225..32798f8405 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 3402825b8a..e80c3a9cc4 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 9beef383f4..c64b40ebae 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 4824fbd97b..d0b7a0a926 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 1f948b151e..31db925366 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 598d143203..222f255f9a 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 49f08d615a..9ebf89dc23 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 1508f8ca32..52c6343072 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 45b262886f..27d26cee25 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 065fea0a9c..0578b9cc50 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 565454c1a1..6df4334109 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 b70bd5c13c..e9bf2c8eb2 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 6ce33d6383..648e65df12 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 dd5d22bb2c..006b99eef7 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 d1b6990613..00b50e11dd 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 9a05eb27b5..3e9d451210 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 d904c8fdf6..a09b84d776 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 f58ffa7efd..2ab07abe41 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 b2ccaa252d..9d8244b8ca 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 a4f56b24de..c3387e464c 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 2f6536b3aa..b6ae67d09b 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 7364cd2f34..95265f98bb 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 8b8050b9d7..c6a75511db 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 2c06b498b8..b74b46d415 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 b7dbca4e8a..952cc50b0d 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 276f2e2900..56ba523624 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 44fe3f7ec9..fe64c3fe74 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 e0e0c36fd1..f50a22fbb0 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 26cb7ef577..6325952410 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 81425b6f70..8770dd29a7 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 797f30d7fa..736cf027e2 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 286d8df831..6e9b02f647 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 04e69a15ce..a9c29a9875 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 573a4b9874..efb542ce67 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 6685a6e03a..436ac97071 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 7e796061ba..34cfafad4a 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 07283b1a48..e4b2ac5afb 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 019fe2f8bd..a63a6b7c94 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 9b241cb5af..7d9a00ec91 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 841a480d2c..df850f5cc5 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 3924289bf9..117a3b5a8a 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 5db734c7b3..aa724d1271 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 ba360fddb5..dc908d13e6 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 d627393f7d..90d3b4d303 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 1abfd8b1e8..8803053595 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 8690fd18e4..9a2a398189 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 e1c482a6f5..cb80677361 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 7be521fd24..f55d1f1020 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 12472f22ce..c2ebc775e2 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 a9331446a5..20f9829e0f 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 087e2a6c9e..f833b54b04 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 6e21393969..d858d8486a 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 6ae993b94a..940cf42a5f 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 88757c8146..7548c6ccb1 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 e0f7dcd8ac..cceb063060 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 6064cd06c7..5c9f76dbdf 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 f878661cf1..ad2aacfc35 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 7f68cf3064..983d5e1f17 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.2.0.html b/releases/camkes/camkes-3.2.0.html index ad02eb902d..884680da30 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 07412c2a2a..c8997035db 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 b18737ad3f..e46ee9a5cb 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 6d8843c0ca..ee5ee92452 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 7fdee0578d..91cf1cea0c 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 b627f297eb..6595939b96 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 0212f3d951..5bb6bed270 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 6a63a6b400..f007b32639 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 dde8bc60d9..c05c7e9779 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 8e9bbe86dd..d8d71e81dc 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 8097dc2245..5fee9535ae 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/sel4.html b/releases/sel4.html index 8baa8ed6cf..44cef530f3 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 9ab9c96259..d00d3438f1 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 3c35c54532..8af2844bd4 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 1363b5ce6c..1d30fd5174 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 b5bf4323b3..b23991a8cb 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 0725cd2acb..9cc28570cb 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 29e848a643..e4fee85dfb 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 2b30661190..8b020a5645 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 a3c0c861cd..805a9db118 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 64aec8821f..b7e908f7e7 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/2.0.0.html b/releases/sel4/2.0.0.html index 28144eb2df..5e7ece72c8 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 13ff6dcce5..4d99feed05 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 1d1824ce65..d6362756bd 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 d0f832eaee..7578e09e35 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 3d67b8c1d7..3700703124 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 dc6a8b22af..d8c7c25f94 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 7fd43f1eb7..d472e5d58a 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 d1741b4ca5..7ed1f61f98 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 6c2c26a71d..c0abd85b17 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 9b4e0d4f20..f0b8a8040f 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 d88ee6e63e..4868a1da64 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 3871afadf5..5c03fedf45 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 46fb4f1eba..1d35aaa909 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 7d888b30af..baff3548c9 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 871eab41bd..f8f826aec7 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 77f37fefae..76418f07bf 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 0f0542d428..7e3878f54d 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 438e2cd6ac..b0a5245162 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 2585f2d3a4..de4eccd8b0 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -2,243 +2,243 @@ https://docs.sel4.systems/releases/camkes/camkes-2.0.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.1.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.2.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.1.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.0.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.1.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.10.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.2.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.3.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.4.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.5.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.6.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.7.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.8.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.9.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/capdl/0.1.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/capdl/0.2.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/capdl/0.2.1.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/0.0.1-rt-dev.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/1.0.0-rt-dev.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/10.0.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/10.1.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/10.1.1-mcs.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/10.1.1.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/11.0.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/12.0.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/12.1.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/2.0.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/2.1.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/3.0.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/3.0.1.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/3.1.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/3.2.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/4.0.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/5.0.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/5.1.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/5.2.0-mcs.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/5.2.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/6.0.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/7.0.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/8.0.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/9.0.0-mcs.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/9.0.0.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/releases/sel4/9.0.1.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/projects/camkes/status.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/projects/sel4/status.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/projects/sel4bench/status.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/projects/sel4test/status.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/projects/user_libs/status.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/updates/buildsystem/11.0.x.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x-arm-old.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/updates/elfloader/11.0.x.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/updates/sel4-tutorials/camkes-3.8.x.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/updates/sel4bench/11.0.x.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/updates/sel4runtime/11.0.x.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/updates/sel4test/11.0.x.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/updates/sel4webserver/camkes-3.8.x.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/updates/user_libs/11.0.x.html -2023-10-26T03:18:35+00:00 +2023-10-27T03:18:39+00:00 https://docs.sel4.systems/projects/driver_framework/AddressingOtherDevices.html @@ -815,10 +815,10 @@ https://docs.sel4.systems/Hardware/CEI_TK1_SOM/CANBoard/canboard_v3.pdf -2023-10-26T03:13:13+00:00 +2023-10-27T03:13:10+00:00 https://docs.sel4.systems/Hardware/CEI_TK1_SOM/DaughterBoard/daughterboard_r3a_schematic.pdf -2023-10-26T03:13:13+00:00 +2023-10-27T03:13:10+00:00 diff --git a/updates/buildsystem.html b/updates/buildsystem.html index f57c6e4409..4ab8b1ccc3 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 4ee525d33f..a290f875c8 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 5d308ae4dc..f4c2b33902 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 334d1eb5e2..c7134a6ffe 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 feaddc5df7..243713e8af 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 3efd7e3ef5..f6c27396ad 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 3f8b5ed0fd..3a6da89f38 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 97148403a5..14657c1575 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 fbc2824b1f..8ce3784321 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 ebdf1c6c55..f1d19c5b86 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 1bb627aa04..f07e7b48a3 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 d6ef557954..2e88b9e43e 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 83444950fc..64667a78e0 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 a5b76ffaca..cea5bd9035 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 12214e9e1b..efc1a01dfc 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 0104a4a18c..b31b92250a 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 b31fd1fdb9..df0ebb8f40 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 6648714ae5..b5dfd07eac 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 3a96447d4c..f1dad78d17 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. --> - +