diff --git a/404.html b/404.html index e1a146f73f..fd2e9bcdfe 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 e517ff31ab..c6e1f25758 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 29b6e78bcb..1c38289254 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 8320ea8355..dd59cac169 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 5c49ca003e..fcf0c59b65 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 4ad2aac65b..8b1f7da1d0 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 70fb28bccf..97714d733f 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 58ab379890..7b00579563 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 f00c52801f..2291cf9cf0 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 02d903b6db..cf94862c54 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 9fc4d937b7..0ceac08ecb 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 b1532c5a6f..f78650f22a 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 439107f238..a3ed77d48f 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 de3c4e5ae5..94be524d9d 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 7dca17c2f7..80f0c11640 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 5a30bb7617..7cd4634bc2 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 7405cc8c45..ea0a99778a 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 ac20f1ee39..dee2ee82b3 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 b979fa1f1c..3e18ebad03 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 d3bd376442..bb64493c79 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 b444f2f08f..056a06c1f5 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 7a2b0ce81a..e1131f8f8d 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 27f0d19afb..dcd1386cc0 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 b83373c9b9..ff788dc7b8 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 6f8ca98ef7..ae7fff5981 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 07beedcc2c..6ee74929c2 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 a567530a95..4f89953c86 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 ca2aa653b7..4a8f59691e 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 4a55be822d..4d5859f3dc 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 e3fe0192a8..987ebeef2e 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 2c594927ac..7c88938574 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 005e6f3b26..5fed9e2051 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 1abe9cd5be..468a7cb88b 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 a91cd20a4a..6c631aae39 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 d398acf52a..f836ca935c 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 0d62482e81..63d2135e28 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 08661d734a..448d1bfd03 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 d6ea6e6be3..80d1f803f8 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 b667453c29..b9e072a3cd 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 8e729605ee..ad584e3ced 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 5cf4ad6ea9..de51f79ce0 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 9cee2e352a..e05eee5f85 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 1c27e2865f..bcff7876d3 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 93c16c10f9..725a2ce9d6 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 a0b891890b..e88ff0c2a9 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 d550b9a314..f5d2e501eb 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 85d08017a2..5ba18e74b2 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 70d5669fbd..1036dc29b0 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 d6dc654461..1d37cb4423 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 472507405d..f74cb1795f 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 9cf1eb0c70..789d43f842 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 43aec93dbb..2da8fc19a4 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 0a150b52d7..0d03b68438 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 e33daf6e75..d8c50e8ab9 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 c66bde0839..3439850fc7 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 fbdf01a632..cbff8eb1ba 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 c1b709e52c..e3805b78f6 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 fead8e6f33..66a527d575 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 354ebc4c40..4ed0ffaef5 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 68912fa4f1..7f144b5e6f 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 08a0a79a16..39e524fcd6 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 a7f7f04afe..a9058080c7 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 7507fb5ab6..e78fd7e3ac 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 bdf63a42f4..d592178fa7 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 36594ad7c8..7d721d858d 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 36766375b7..fb0b281b8f 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 cb887ed6d2..1c80e35f43 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 31bd9cc6a3..746b1608ba 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-20230816-4282-1yn4l8o/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_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 e76b065cd4..2377be1647 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-20230816-4282-1yn4l8o/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20230816-4282-1yn4l8o/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20230817-4503-1a5wnol/_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 801137b0f7..888e3fcb24 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 5635c0d0b4..c3fdfff277 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 bfa8c29083..94d696f9a2 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 c351dce2a6..f27e405273 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 fd5d9313af..7521730a32 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 c57bbe5a5e..996bc4d400 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 b0f9f6c84c..ac5b8bcd4a 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 667e2d24d3..978a18302a 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 84417a02e6..123af1c3e9 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 869b59d07e..2eb434c86e 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 ff1743da50..b73893f89b 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 b19ddcc2e1..695735c7ed 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 9776ae2ec9..084042b5d2 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 3cd6e04218..8d8a31c4c0 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 55c889d830..38e2032f84 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 bfaadcbfdc..846ed6e9ef 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 a1d5451646..b144e363aa 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 c847dd3c39..dceeb97185 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 057aebb796..a09f6f860d 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 f76db18dc8..2fb9950537 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 d39651887a..c504cfcf08 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 044aed0d2e..de3f183bcb 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 b00ccefcfc..5394f522f6 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 1188dd7b8f..70d5c84e6c 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 b246d4d26a..f09d463eec 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 9c94d2db99..47dce98fde 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 29c2fe5719..83656a53b2 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 0718bae5a7..d0877d83ae 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 8ab84b122e..ea128e8a4f 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 5a27eb98ca..8c26b6b6d9 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 42b605d317..ca3bc914f1 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 2436f7118d..6bf05df95d 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 63ee4dadd0..f6aba4552f 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 a919d59e39..dfa89bd7de 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 9413643ce2..04ef6b899c 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 ebe42f7e02..248c7b23a6 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 f00beca844..5dd1e57648 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 3f0d933c95..a1e7c9de48 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 4822d83ed1..4c0b8c298c 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 88a228882b..03c29b3c3f 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 d7a9c8cd22..b61046cc50 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 5cf34d0ecb..b2bfb74f43 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 ddda6c7317..4146cb7d15 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 e8aa41cafb..eac0ab2fb2 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 3e6b7158a4..484a21e459 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 60a8fd8999..c03e6f47de 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 b71cba035d..5d986c0134 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 ebbf265028..39fbb90733 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 b057e07562..d631a3872e 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 8b92fdbe44..bc177741a3 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 24f2878109..e9c7845cf6 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 4caa31af55..51c0529f39 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 c778fd01b9..b5c0965c41 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/roadmap.html b/projects/roadmap.html index 0150583352..23540666ed 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 6c0994af9e..c1167fb2db 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 10695b1ee0..09b48b830b 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 409af91957..7b559c61ec 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 86ece7f800..7d3ddda136 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 bfb1607bd9..cde9d6d65c 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 3e6e7721c8..e35f38f3f2 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 e51bf6d35f..1d5b06c916 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 7faeffd9a1..132feea3ae 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 8de47eccd6..fc3a1b8985 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 32c5858701..67854ab5f9 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 c5b9c1b0f8..6d21c87c66 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 c8599ae328..f8cdf72e0b 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 e0cb8e5622..22b2bbec3e 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 fcba59582f..562fc0fe68 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 6374226816..91d5398a8c 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 1443ab530e..246f52f3fb 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 b4ad6e0250..30207187e0 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 20a7e26fcf..d04b2481f0 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 10ec0e1d67..23b63611f4 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 d7a6d1a20d..6675180b68 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 1e550c62d7..3fcb2ce3de 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 e65a82b625..546042f76e 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 b5ea6b001c..cfd0b1c159 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 3a29426899..9b87582fd8 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 b9272d7bd2..a4e341a8cc 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 2e46d92f31..b554c84551 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 18be2b2f9c..13a74fe7f7 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 d7fa33007b..bdfa1c562b 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 115aa47e6b..5fef52a696 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 49fecfa33b..0aa70c1d74 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 1f5640a16e..020536def9 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 c1a41cca9d..bce8d7c5f1 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 bc9809ebd7..96ec793a5c 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 b6da78661d..89c8579b34 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 8c336804f5..ceb9a6568b 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 2f3e38b39d..536b67aa88 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 8151e27b18..e4dfcba6c1 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 180cdb3cb3..f750a12680 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 55f1d7f089..ac3dbc826f 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 07ae61f07a..f71e9e5287 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 87f6be7803..2adb66a922 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 3d98f8031b..7e2ee8228f 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 036d97218d..7a543894f1 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 f45b37df10..35223cdf84 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 2db7b7f11e..49d18b4ced 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 99f72dcf48..f3a1899c4f 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 d897e21a23..0a5dc94a67 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 f9bfc404d2..ece0b1c830 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 904caf52e4..6f14ee16ea 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 79ee95ddce..1ee881915b 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 e2ad05f99a..f91f2724fd 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 cfe068421e..dcdfcd74a0 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 5aec18f201..bb4bf92c30 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 8e8c461596..8fe811f9c3 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 60dbf0b000..96b162810e 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 35f70a60f0..d6d2ef0cd1 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 17159f8d1f..6ec1fe7671 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 64f9fe70d8..13a48b35fe 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 8b953687b8..6bbd6bdbc6 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 2709186109..90d24afc1d 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 6bc3deeee8..205d32b202 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 ef9d18988e..d6f9ed10e7 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 8da18b34eb..698258eb0e 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 69bc8cafab..74ce859a8e 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 ee6968e1b6..7e6eaaa0b3 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 664572e268..8f9232fe52 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 aaaaa88cba..68988e6a4b 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 bc0efc74a0..d83ffeaf85 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 473168ecd4..1b08a1b507 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 08bb3e79c5..80cffdca55 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 a9b6de04ef..ce9cd095d1 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 081cea4fbb..9be71b9640 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 dc2f99b539..bee1e2b617 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 88d6e5c89f..6a1a71edb6 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 2c06b5c330..2dc43ec1e4 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 19247b96e8..0bccc7739c 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 e77a3ef0e3..f62026b613 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 a0b1765891..23ea720b24 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 a80fa6d4fe..95e173ed90 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 e5b1cb92a9..dbb57b426e 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 ffc9841d89..38ab9cecc9 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 d81efdee4c..dbc60fe573 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 e26f621efe..0f0580f60c 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 edfeb3c50d..5d6215d6d9 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 fd802e21d5..8f8ebeafa2 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 d0dc113f1d..b1c9c0651a 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 9019398e6a..7a8edc1a02 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 c4ffadd694..fdc84e48a8 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 033e37d31a..534b26f173 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 4cd98f38c6..ac9ead4fb0 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 6dc30f4f6f..1a5f767957 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 b1e277929e..5406a9fc97 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 9bb9410253..10bc189834 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 b9aa0027b0..e6c7d1c0d3 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 c590797a07..69d299fd0c 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 3bac1205f6..38eadf4ab9 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 f3cc787cb4..f9630ed646 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 03c5674f40..35335659df 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 4097cb0318..392294f8cd 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 bcbc1ef4e6..54307a09fd 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 19ff3f0ff7..aa9418ad1c 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 0993873fc1..e1c37f8b75 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 53f25a7f46..40677142ee 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 31591dfa6d..04c2e369a2 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 69b635b727..dc04389db1 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 abf02f2c92..7fd9d45e50 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 c0a0e59ee1..72a5e6af84 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 f382b011f9..70beb51ac5 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 9edb502e93..3a81d42a62 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 a701a8294c..baef1bd5ce 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 6952f33c13..d33295c0c3 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 a33924e6f5..c0f867741d 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -2,243 +2,243 @@ https://docs.sel4.systems/releases/camkes/camkes-2.0.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.1.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.2.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.1.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.0.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.1.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.10.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.2.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.3.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.4.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.5.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.6.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.7.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.8.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.9.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/capdl/0.1.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/capdl/0.2.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/capdl/0.2.1.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/0.0.1-rt-dev.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/1.0.0-rt-dev.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/10.0.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/10.1.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/10.1.1-mcs.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/10.1.1.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/11.0.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/12.0.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/12.1.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/2.0.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/2.1.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/3.0.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/3.0.1.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/3.1.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/3.2.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/4.0.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/5.0.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/5.1.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/5.2.0-mcs.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/5.2.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/6.0.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/7.0.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/8.0.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/9.0.0-mcs.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/9.0.0.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/releases/sel4/9.0.1.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/projects/camkes/status.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/projects/sel4/status.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/projects/sel4bench/status.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/projects/sel4test/status.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/projects/user_libs/status.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/updates/buildsystem/11.0.x.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x-arm-old.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/updates/elfloader/11.0.x.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/updates/sel4-tutorials/camkes-3.8.x.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/updates/sel4bench/11.0.x.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/updates/sel4runtime/11.0.x.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/updates/sel4test/11.0.x.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/updates/sel4webserver/camkes-3.8.x.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/updates/user_libs/11.0.x.html -2023-08-16T03:17:26+00:00 +2023-08-17T03:17:04+00:00 https://docs.sel4.systems/projects/driver_framework/AddressingOtherDevices.html @@ -812,10 +812,10 @@ https://docs.sel4.systems/Hardware/CEI_TK1_SOM/CANBoard/canboard_v3.pdf -2023-08-16T03:12:55+00:00 +2023-08-17T03:12:43+00:00 https://docs.sel4.systems/Hardware/CEI_TK1_SOM/DaughterBoard/daughterboard_r3a_schematic.pdf -2023-08-16T03:12:55+00:00 +2023-08-17T03:12:43+00:00 diff --git a/updates/buildsystem.html b/updates/buildsystem.html index d979896483..e5c5fc1c81 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 f8c7a422e7..6dbdb2758f 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 2e6a68a7f6..07d7a3e460 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 1646c12535..93c565d482 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 490f1702a5..086fb04c5e 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 d4ab3f5169..c984d094c6 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 e92e60642a..c220881f83 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 6daa28ebd5..73aa230c6c 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 f921be7cc6..8e779598d8 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 59f49505de..b7a73b8722 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 b391826738..79b7714b8c 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 f89ddf083d..63c7420807 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 84c34631a7..2b080e7538 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 5910353aa5..daa52f8906 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 db1d939069..f4a29ee0f1 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 801f7e588d..fbb1e82404 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 92e098f694..b7cb90ae55 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 ef855fd86a..7c73f6c9cf 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 bd641153c4..431becb7bc 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. --> - +