diff --git a/404.html b/404.html index ec93cc9363..f1190988a1 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 0d1cccfcd3..41889f1db8 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 551c4cbfe8..46984d68a6 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 34cb518a94..e5d5f90513 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 a880ff278f..1313e9930b 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 d42394614a..f69ac22df6 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 037454a37c..4e439008a4 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 c7db39ecb8..6242418f18 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 024d507b63..0d542dcbd0 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 afbffb6693..eadae236d8 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 8cf13ca2d5..5ac1342f1e 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 1948a1ed64..9da0e17930 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 96bba77479..dbe7f0e243 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 cbb6c52666..0ef5173561 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 a6ed15d73a..6370c4d653 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 e37a92d635..544884744c 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 ad80a41750..6e56e8089e 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 de66d68903..d92eb53f1c 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 1d7b50b194..1ea1779272 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 1142bef6e3..6add808679 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 caec2e13fe..6d7dd8ba18 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 bae2d25ddf..4d95dfd68f 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 2190b480b0..0dfa35db9d 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 84fb21b06d..3c4bbabfbd 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 b4c5629d1a..fa656664d9 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 e67da566ad..a22c432e7e 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 9044f706d6..f68294d110 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 a779f6010e..578c74bcd3 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 f0bef3ccb1..2b35cf6d74 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 d802eaec08..1eb3f3ba71 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 a60949c5a1..bc29aab4df 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 047e62bf2c..5278b2b77b 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 e63009f81b..8b73607ae6 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 2045c8a12f..6ba36bb239 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 af542ef4ae..f18573342b 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 21cf328e2b..a2fe7f28a5 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 d8c609b212..40f2128022 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 ed483b2d2e..bd83b17664 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 90f0e905a1..5c26710ee8 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 2eef016d23..959b3ff817 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 02afbc7561..558b95d4f7 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 2e780fa269..5639ad94ea 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 f41e52d46a..789eb8e1f4 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 e61323e3fc..0295950f28 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 334f2c653f..9c052fe629 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 1b1b2e2e2c..ca2a974eb6 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 fb86d9f666..a002e08488 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 6ee904bb40..9953d11f65 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 fba0104276..1642ff790c 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 279eea5b16..f4e4139d0c 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 95cbd0e19b..29248806ea 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 1be1f080d7..c0c4a714d8 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 78225ce3c9..e94114ac12 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 ac87c86402..a3629433e1 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 04a947b06d..2b1de106a9 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 97fa8ea34f..7104ae05dd 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 938a6f897c..3ad6c93986 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 0a51beb0db..a968386a2d 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 9b3895b0ba..1b7ef3123b 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 823d1d9ab7..ab84484161 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 cfe467fc7f..679429095f 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 f61b4e851a..99e3800b9d 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 fb173a3b06..b4c597e3e5 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 8195249c4f..5ba51f919b 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 94bd12893f..a3fabc39cf 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 55eee471f0..0daa38ba61 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 a76e7f1599..ba797a11b1 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 214b26c613..3a5e294e23 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-20240827-3517-13dpar1/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_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 5fce87e4c0..90bb60d8ae 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-20240827-3517-13dpar1/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20240827-3517-13dpar1/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20240828-3509-stf26j/_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 007ec2107e..d242733d94 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 25039c0de6..beeab769c5 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 ac57d2ae70..85eea90a88 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 a122d0d58f..bb6a1ead0d 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 2c66dfa721..2e2402464b 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 0efbfa01a3..de1442e642 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 a6ece9989e..382f3d3f50 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 6146f17f63..ce39c4e4c4 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 0c46402c11..b3f6993ced 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 1a62433459..8d1e05e644 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 17e9ba77e0..7278c224d8 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 9c0b3da492..1f6c5b6323 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 2d78e156ea..2fde1d050b 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 f1f0913bd7..33a40ab7ee 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 71e4339a16..ee5a87b03b 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 bc77bbf364..cb81b106d8 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 472a861408..d7dca926a8 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 a06b5cea15..86870e224c 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 0474e5863c..3656db0edb 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 1eefcff91d..cd10f5104b 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 7009db0a10..6649d0e244 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 3c200b25e3..580c377aa8 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 541ffbb50c..84f9aeda4d 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 3b8e77767e..ad6c8ae206 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 dc61d4afa3..7cc6864448 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 53b58090f8..5cfb0316aa 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 d36cca4666..beb023facf 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 490f80deac..3896dd67c7 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 785dba692c..0ee28071fe 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 4e19688fa6..68ac084e9b 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 74e4c3394c..5e4d09690c 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 4aee2010e2..90c3339649 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 7f8322185d..18c74d9af3 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 abf74f5890..96bd5fc758 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 6a32cda118..99be284792 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 2cd671fb1a..9d8c0d2ae9 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 67034cb2b6..5d98372cfb 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 6934f79d76..7ed68aad95 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 89d72d65d7..aa42b50fef 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 14f6c5fb87..0a92b3ed47 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 129ffaafe4..90b6785ee3 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 d7390d6751..2088f82705 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 6b9a7fde9a..81340ea64d 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 0107fee7fd..c87605e2aa 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 29722459b2..955ddf2322 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 816645c219..ad22f82482 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 320e03c4f6..2add27b512 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 ffb93876bc..df63db8b60 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 b19707c9f2..543970bacd 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 0f89f9caa1..48d13b480f 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 6ccd24deec..cab2e63cc6 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 761dd6d951..73ab6b3ee3 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 453cee8e84..7751a13507 100644 --- a/projects/l4v/index.html +++ b/projects/l4v/index.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/projects/microkit/index.html b/projects/microkit/index.html index 690370b075..1df677aaf2 100644 --- a/projects/microkit/index.html +++ b/projects/microkit/index.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/projects/roadmap.html b/projects/roadmap.html index 0a50b32b16..4042f842bb 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 b070bae471..f1a4420d05 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 7905d00a2e..3103ce470f 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 018dd44d7e..e75af68d7c 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 e69b34e5fc..4454e4b1f9 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 fce03a4403..fdf9c1bedc 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 d38222e15d..462b40ffde 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 2ac16bd991..fbc91dbae7 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 d245f46941..b89d0f4bdc 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 087a7b2cf1..3518a59d43 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 fdb5ca2499..900dae45ea 100644 --- a/projects/sel4/manual-api-generation.html +++ b/projects/sel4/manual-api-generation.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/projects/sel4/platf-owner.html b/projects/sel4/platf-owner.html index c79f71840f..126ff9361f 100644 --- a/projects/sel4/platf-owner.html +++ b/projects/sel4/platf-owner.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/projects/sel4/porting.html b/projects/sel4/porting.html index 85f9bb06bb..75bd1b6a83 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 a35c4ae925..933d9e8d39 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 0fcae87440..801e66c9a8 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 cddf24be0d..5d6996b7d7 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 a165f81cfb..1e1a81d8fd 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 764adb5064..bbe5ede8e5 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 90a2ce61dc..312551a48c 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 baf7d88ab8..853c67256d 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 6ff5d522f4..8e08893d81 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 21ec54c46a..caefa2a67d 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 841d84069f..c165dfc2c3 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 e638b8fa42..b9d6310004 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 274d598e0e..49fc914d36 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 1cb4d35898..4472383fdb 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 0fc43c97f2..2815e34b7f 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 7aec11cd72..55bcf68246 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 6f41859537..bcacb2ff9c 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 159494c7bf..d7173e6d3a 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 620e06621d..f0102e4b46 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 66ec2a02cc..64946165fd 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 3c82d9aa5b..58922fb945 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 17cb7afe0e..8b50f28cf1 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 42a4221325..66fa68ed81 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 76f148b491..9eef945964 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 acd5a1ce50..b61f63efac 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 8d6597a155..a6eaf037cc 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 8a3e1f5993..60ea96b1a5 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 8393467fb1..e88aebb05a 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 6eb61d277b..50ba43d413 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 26b7744fea..19878d25d6 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 c11e4a9798..338429d693 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 451ee233c8..2c686b9031 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 50d6fdbc4b..c2138dfbad 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 2458b39bdf..b469464d27 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 b61a023335..58762af95f 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 8d502663fa..9f4f0574f5 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 759a6b809e..31ef6fd999 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 14f078e756..c7d70fda4f 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 b4f85e78d6..d6860d5f73 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 e5ff8a4d8c..3cd8ac21f2 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 9fbc67a1ce..76749c00c4 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 8993c49c49..cc60dccb4e 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 4f9ca71559..1c092bbc1f 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 3345823e9b..d4388142af 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 116aa48ca7..afe38bcb29 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 d4cf4417cb..9a74d5c8ca 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 1627b9ea61..b4199dd9cb 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 215b4d208f..f9d2fdcb0d 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 24cf880651..30265c50d3 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 42de11a175..c0308d5a45 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 198712fad1..b51dd1b375 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 8ac0493983..985ebc0dc6 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 c021e7c710..ae0b2aa1b1 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 ffd145233d..09a1723138 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 f61c9d049a..0d72e149bf 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 85cc292479..ed171167da 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 ce30aac25b..8e5778b57b 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 1e569573b4..6a0fa9254a 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 dc6a03ec77..c5dc7f431b 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 a3fc0c9cb9..8692025cd0 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 feb05c8aed..dffdd949f0 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 5b09582cc4..f77fe93f86 100644 --- a/releases/camkes/camkes-3.10.0.html +++ b/releases/camkes/camkes-3.10.0.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/releases/camkes/camkes-3.11.0.html b/releases/camkes/camkes-3.11.0.html index 73a5fa420a..a91fb0e877 100644 --- a/releases/camkes/camkes-3.11.0.html +++ b/releases/camkes/camkes-3.11.0.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/releases/camkes/camkes-3.2.0.html b/releases/camkes/camkes-3.2.0.html index 55887cb076..eef3e0c279 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 888e92fbcd..68619e94d7 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 b4c0fe7db7..41950d0569 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 9406ac962f..ffbd4ecd70 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 16266ead5a..9da3d060d4 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 cad83dc6a5..fa1ba712d8 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 0e77cbf034..45695e03d6 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 ee2c535219..1c2ba1d34f 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 09bfd313c6..5854c57896 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 3c1e3a70a5..daa65bf3d5 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 1f9987f839..088786b4ed 100644 --- a/releases/capdl/0.2.1.html +++ b/releases/capdl/0.2.1.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/releases/capdl/0.3.0.html b/releases/capdl/0.3.0.html index 8baa68b4de..40d93719c1 100644 --- a/releases/capdl/0.3.0.html +++ b/releases/capdl/0.3.0.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/releases/microkit/1.3.0.html b/releases/microkit/1.3.0.html index b668b23c03..9c6456e4ab 100644 --- a/releases/microkit/1.3.0.html +++ b/releases/microkit/1.3.0.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/releases/microkit/1.4.0.html b/releases/microkit/1.4.0.html index a6cca13a72..10003bd9ec 100644 --- a/releases/microkit/1.4.0.html +++ b/releases/microkit/1.4.0.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/releases/microkit/1.4.1.html b/releases/microkit/1.4.1.html index 2a5ac18706..84fdeac180 100644 --- a/releases/microkit/1.4.1.html +++ b/releases/microkit/1.4.1.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/releases/sel4.html b/releases/sel4.html index 6ba4e8ffe4..d32ea1237f 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 2835a531b5..0497d478ff 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 f7b5c660b1..86f37c0d38 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 713ca76ea7..a83bd56e74 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 0e5302ba90..97a887e03b 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 32ea883699..120305cc58 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 90f4f29d1d..8db958453b 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 e2eff92200..0ed5db511d 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 e62027339b..39304cd920 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 369bac4d41..7295b909c5 100644 --- a/releases/sel4/12.1.0.html +++ b/releases/sel4/12.1.0.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/releases/sel4/13.0.0.html b/releases/sel4/13.0.0.html index 3d0188f676..a9b1c06e31 100644 --- a/releases/sel4/13.0.0.html +++ b/releases/sel4/13.0.0.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/releases/sel4/2.0.0.html b/releases/sel4/2.0.0.html index a468a0f935..2852a318ef 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 92b11711ee..4a2aba52a5 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 1510aae9c0..a4284173dc 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 59b4018efc..78759569f9 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 77750b52a2..b3e6444fdd 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 5a159454aa..7b74470d17 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 664f42707e..9ce620c6cb 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 0121e40f65..908a432d53 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 beda2b269d..44f87c6a67 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 ba96e54360..994de5e193 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 31ba16e14e..a2cff97072 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 92f67fdd05..491232e3d6 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 c282e1655b..967685d665 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 80f817643c..8d62140c44 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 ce0e3fd339..22c0bf6174 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 aaa6ee9223..41249f17b6 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 2e8ff51163..8d541bd0ac 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 6517c22154..4f15c2739e 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 de35226da0..af03a6b5a3 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -2,267 +2,267 @@ https://docs.sel4.systems/releases/camkes/camkes-2.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.1.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.2.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.1.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.1.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.10.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.11.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.2.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.3.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.4.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.5.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.6.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.7.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.8.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.9.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/capdl/0.1.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/capdl/0.2.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/capdl/0.2.1.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/capdl/0.3.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/microkit/1.3.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/microkit/1.4.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/microkit/1.4.1.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/0.0.1-rt-dev.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/1.0.0-rt-dev.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/10.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/10.1.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/10.1.1-mcs.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/10.1.1.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/11.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/12.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/12.1.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/13.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/2.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/2.1.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/3.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/3.0.1.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/3.1.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/3.2.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/4.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/5.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/5.1.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/5.2.0-mcs.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/5.2.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/6.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/7.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/8.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/9.0.0-mcs.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/9.0.0.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/releases/sel4/9.0.1.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/projects/camkes/status.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/projects/sel4/status.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/projects/sel4bench/status.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/projects/sel4test/status.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/projects/user_libs/status.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/updates/buildsystem/11.0.x.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x-arm-old.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/updates/elfloader/11.0.x.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/updates/sel4-tutorials/camkes-3.8.x.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/updates/sel4bench/11.0.x.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/updates/sel4runtime/11.0.x.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/updates/sel4test/11.0.x.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/updates/sel4webserver/camkes-3.8.x.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/updates/user_libs/11.0.x.html -2024-08-27T03:15:11+00:00 +2024-08-28T03:29:39+00:00 https://docs.sel4.systems/projects/driver_framework/AddressingOtherDevices.html @@ -842,10 +842,10 @@ https://docs.sel4.systems/Hardware/CEI_TK1_SOM/CANBoard/canboard_v3.pdf -2024-08-27T03:13:53+00:00 +2024-08-28T03:28:29+00:00 https://docs.sel4.systems/Hardware/CEI_TK1_SOM/DaughterBoard/daughterboard_r3a_schematic.pdf -2024-08-27T03:13:53+00:00 +2024-08-28T03:28:29+00:00 diff --git a/updates/buildsystem.html b/updates/buildsystem.html index fabce11225..47e2dc78c7 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 90c0469943..2be04f3503 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 38129f54e1..34317c1447 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 1574720651..ad853e7b80 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 03e6ae2d09..067b1a1313 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 08011c3317..33383b19be 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 a59eb2c195..8671f6883c 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 f161e6c818..6d93f52249 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 6a346dcc43..5d9c921a6a 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 65a1725c0b..a34aed86e9 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 98866f0e7b..d430ac8f2e 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 60fc9b404d..f63129090e 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 a788d2673a..ee25f13ee4 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 6d539e64f5..6dd4820d58 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 9fb841ff70..881959c323 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 7ca426c6b8..e689e37a10 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 db5734705b..e4770cae5f 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 862846548d..ffd813e719 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 ec18216bd9..f25a297d39 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. --> - +