diff --git a/404.html b/404.html index 2f3a069f64..4b2d2d4580 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 e0165cef95..76d56c7976 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 d40b875600..ce30dd5fe7 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 ace04cc201..28c89e6a7c 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 f37a641ff0..6e8459efd2 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 f9524e8454..db1f672e8b 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 4c326eab79..659b55e70d 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 e0d7f0702d..0939ce250e 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 ea696de460..ddb5c97cb6 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 4f0f5579e5..8d1925eefd 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 3639816af0..0e32060be5 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 9fc8542fce..8e836f2f7f 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 69a943e9e3..e037c4cae2 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 b7a1a5ed61..5f147568bc 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 c06c7ec293..570e744291 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 cfe9cc4e68..cb010aa4a6 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 74b72c3741..eebc566adc 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 2bdb28c651..3fe41d852c 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 eee0e89179..c37e0f8df5 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 a608284647..845cc4ac9b 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 78c020e16e..227f7ac817 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 f9ff443b3b..f0590057a3 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 bcbfa5dbaf..ae937bc622 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 c0484b6edc..702f133b3a 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 6675399792..52af6395ae 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 29c95deb9b..58d12c5986 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 9159ff3d05..c619fee1d6 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 135d7922df..9f484fbb82 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 4f1826137d..795d3d1842 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 719a043e82..0e3ea738d2 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 e20b206ab5..0aec5e538f 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 20581386e1..fde158786c 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 00619184ff..1e14ee0006 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 e69f484195..f409ce64fd 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 6b6b6947d1..7dbf50c158 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 c1d865d529..3463d731c3 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 6c8a6403e8..0a5a2afd84 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 b5710a656d..79d3f45710 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 9442f2eb45..7305d0479a 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 2634943841..f573d571c6 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 9fe8538b0f..fb3933c0e4 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 698a5c3278..141e2ede86 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 4b98c464d4..1da11362e6 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 7c3d54e16f..5b7d081288 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 5b7447e233..c60c8e45c8 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 ed82101cf8..f3a1343642 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 00b0614cd0..513017b79c 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 f3f87eb27f..a615294661 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 c5f3815689..276bf70ddf 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 61ce8abcda..ed50a977e0 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 f96b4acef6..6245fa804f 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 1727da210e..e1c2fa9e77 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 9e38e35054..45ebe942ca 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 0ccd9bb6d7..28ac995dea 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 816de66b7c..c09914ee40 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 c662015250..c11fb8a0cf 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 27ce4b7554..8f474b1581 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 751a2b6684..39836f63e1 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 8022fd614b..2f561a458a 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 a721c82727..aa4aef92d5 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 ba49d9b836..75e6bdcb52 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 1456800f31..c94434b642 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 249508d967..694009cc97 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 2dab6d99dc..b34e640a18 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 121c184632..329e00f2a9 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 1192c949d4..1e17c47241 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 060d3267f8..5ec2689de6 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 9dee789cb9..10cd95f3d1 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-20240712-4026-2bsl44/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_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 734e63c432..cfe869468f 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-20240712-4026-2bsl44/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4000-1b1j0yf/_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 857ef46328..801e0fef3b 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 e47648b8c6..362e21aee0 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 d6f80164ff..b2d9fa4670 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 d8472c0e79..49129add60 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 5541cd3a65..11724f31bd 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 a3a5703ec7..cc1e4dba43 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 408054775f..feb5e25201 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 e78e7d4702..93ebfff4e6 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 3e3c25fa5a..81165a0603 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 9b7ed0ae3a..bd19698bb0 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 507ba16597..1babb43c9c 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 3a7bd1415c..89619bd5cc 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 7cd38d3328..c3366e20c1 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 0c3d356bb8..c725f81808 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 4d1dadbc3a..0efc378990 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 069deca644..b228c978d7 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 c70fae9fb5..50665a9880 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 a20c25c81f..9955946bf9 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 d481b15ef9..32824c3f0a 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 14f2f38b68..5c560d5e7f 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 26ddf04f8a..5ac24b9435 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 d7a85a8414..dc10a22901 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 be907c13d8..23490b195c 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 a39a2c40b8..484879f70c 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 ad53b5ddb6..2207d4c04f 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 e006deff33..b76b4226eb 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 ccd9dfa4bd..0f575cfdb5 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 7880913c4b..ea9c960fb9 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 12194d83c6..b00845c78a 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 93147671e0..817b85b210 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 1990b6e944..5c41f5788f 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 949caa65f8..d3284eb7ad 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 4af255f96c..3bde8ca6e8 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 db4fa3f5a0..3cb30c9ec4 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 2fa277b3cf..6f4f7cfc6f 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 f742ca6e60..658aec672e 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 7403058c89..5fdbb40f24 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 c7ea25953b..13c0cdf6d7 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 6a71a9ecac..8e280e01e8 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 5fa69e283f..7a4182041d 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 1d0a28b0cc..9fc480205b 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 5261646ac6..1bd7485dd8 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 7d9de1e61c..c63e866c92 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 e814500cf6..0cc8f7af8c 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 9de55a5802..90430a8a8f 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 e101fc5953..f8c997d12e 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 0c80e1d8af..c52fbb6b6b 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 3fd794407b..e22ee5cb41 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 b558c1491b..731ec5a035 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 41d99c6353..972d0c7fae 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 e35902f12e..eb33f16e3d 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 ee03ee58dd..a4c124a177 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 2424452e20..793e5d5a4a 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 4804b7fcc6..840afd4e86 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 4f12067374..d7574c55a1 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 6c16c00900..958df0b72f 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 83a72ebad3..5a00f1af52 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 638efaf6f5..6cc301d426 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 d05e393deb..f72cc7dd7e 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 29f6afa528..0a82588cd5 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 92c53f0aad..623bd2dfba 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 1779d7f2d4..7d3d0960d3 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 c02f831c58..ac1061b312 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 2178bfcf73..b5badb9db9 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 0647952c95..4ad042f163 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 772394a2ea..dc821a1428 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 73d0ab0c48..7c8985f74e 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 927284747f..75683d970d 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 56b8ad9b7f..9161c93e10 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 fe8e0cdfc7..f0b1793300 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 b932de5c8c..b8683ba60f 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 36a6c87905..da2e3578c3 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 7ba0d596d6..c127d85816 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 c263b14cec..bfca1b8949 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 1682bd89c5..4aa17863be 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 36cadbaf3b..bc6971a840 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 c56c022b4d..4d9b88a6e9 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 f27c431afa..dc07648c76 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 00ca40677e..222dc48e51 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 c09f0b1e56..1a20c0f741 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 0246993379..7f39144e07 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 1f9f2ab00e..a50b681d95 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 7528ffd234..cb0efa4911 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 dda4987cc0..418b49afba 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 0d3aa69ffc..6221768f4c 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 faeef58d34..313ba0c780 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 975dac58ba..027a0d8429 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 f0e853e01e..70471ff27d 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 4b3c24772e..f82b5a7d71 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 6605744fb8..84342468ac 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 b3d94220ed..11d97baa5f 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 cf43567288..6cab69ead5 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 55a69513e3..b665888bd3 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 641f688581..08de9fa20a 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 9e4e071a40..922817173f 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 3828e5ee1c..152488304a 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 3c14970a40..a1cf0694ed 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 602b787d1d..7d97f75e3a 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 e459e7923a..304681d9bd 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 9fc95b81e3..879ecf05b4 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 d4d1bfef43..3a72ab2fbd 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 1f46e347db..ec291a58c0 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 72d6c71185..c46d73fa37 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 46457620db..01528a821b 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 311261f37e..6814957b37 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 3ad63207cc..4abe1839ca 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 cbbe5acd3f..ff5110a3fd 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 801640c899..2d1480a7be 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 35cb8382c6..74b3be9227 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 a3a2db524b..30cf189bd6 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 3f5dfd4064..2eb9ba3775 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 03f1642357..ea2970f74e 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 73ad2820db..3008df6b0f 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 09b4bc898d..855a031a6e 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 bcdb9320ea..1154fb3100 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 544fead90d..a4b08fa3ab 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 22cb44e8e2..ef3752f269 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 838e7d67ec..de7f77fc30 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 3ac5b96bcd..b64aa1298e 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 bda15d2ce0..5bb54b42e0 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 474deec56d..a0194cdb8a 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 ae19ae7bbd..fdd946420d 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 30603b771a..7201b341e2 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 c2a6388eca..24e433135c 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 76c5d3e1f5..23f4a5e179 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 7ed220438d..aab5cb23f2 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 2b4f7d50e5..c7f93eab83 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 6c643db7a8..2d18c9441a 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 9f6baf9e9b..40f880d187 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 6bed3d77d7..c8302fe1dc 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 ae15f196d1..e230abbeca 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 3b455334b9..0928599fae 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 a86c3bfb5e..16c96f8379 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 327ffe0ba2..1c013e7502 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 fd1c51847a..a80bfc6cb1 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 77b187a298..68a4270706 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 d99bfff452..497e5b6236 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 7987614251..1764c5a5f8 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 476c37cad9..5d96b31ae3 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 7c80c84c9c..904d55813c 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 aae7000140..aa706405e0 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 f87941fd80..f383c680f8 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/sel4.html b/releases/sel4.html index 6a66e60174..f5fdf087b6 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 c04f1d4866..968112eee3 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 7b9e5c12fe..a4a0ce998f 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 39137bdecc..6fc8e9ef43 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 52085c770b..02fc66cac8 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 d811fe13c4..9a1bbbd9e9 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 6d789c54d7..f898f0f4e7 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 ddd91e9497..9f326e460a 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 9e61882e04..9f168d8ae2 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 62792e6634..4855c8c7cb 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 79844aeb58..43a617e9fd 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 c319901e03..bed189b8da 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 6b685f12e5..7600cd11b9 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 da17c439b7..c3dd20041e 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 982d159111..36c483c170 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 6ee20c9318..c380170d72 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 40557ee3c3..13a71a73ef 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 4d4b66c706..bd8d7a19b4 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 ceca0321db..b3a906d05b 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 e671450b60..377c912cbd 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 5a2ce497e2..c8f90700d6 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 1073ff5a60..72e81163f1 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 4d0ebb6013..6f2d85ff63 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 cb6286fcb5..6dc7c2a83b 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 d4a84ebbf0..1f0e0763d8 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 aaa98ea3e3..bca52b621b 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 95b10f6ba6..45db2b9380 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 dd39628ffc..42813a3ba5 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 479796ec95..aeed4d1e5c 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 9a27615826..cbfbbeffe2 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -2,259 +2,259 @@ https://docs.sel4.systems/releases/camkes/camkes-2.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.1.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.2.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.1.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.1.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.10.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.11.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.2.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.3.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.4.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.5.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.6.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.7.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.8.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.9.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/capdl/0.1.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/capdl/0.2.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/capdl/0.2.1.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/capdl/0.3.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/microkit/1.3.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/0.0.1-rt-dev.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/1.0.0-rt-dev.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/10.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/10.1.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/10.1.1-mcs.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/10.1.1.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/11.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/12.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/12.1.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/13.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/2.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/2.1.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/3.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/3.0.1.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/3.1.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/3.2.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/4.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/5.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/5.1.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/5.2.0-mcs.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/5.2.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/6.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/7.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/8.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/9.0.0-mcs.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/9.0.0.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/releases/sel4/9.0.1.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/projects/camkes/status.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/projects/sel4/status.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/projects/sel4bench/status.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/projects/sel4test/status.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/projects/user_libs/status.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/updates/buildsystem/11.0.x.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x-arm-old.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/updates/elfloader/11.0.x.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/updates/sel4-tutorials/camkes-3.8.x.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/updates/sel4bench/11.0.x.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/updates/sel4runtime/11.0.x.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/updates/sel4test/11.0.x.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/updates/sel4webserver/camkes-3.8.x.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/updates/user_libs/11.0.x.html -2024-07-12T01:24:00+00:00 +2024-07-12T03:15:24+00:00 https://docs.sel4.systems/projects/driver_framework/AddressingOtherDevices.html @@ -834,10 +834,10 @@ https://docs.sel4.systems/Hardware/CEI_TK1_SOM/CANBoard/canboard_v3.pdf -2024-07-12T01:22:36+00:00 +2024-07-12T03:14:01+00:00 https://docs.sel4.systems/Hardware/CEI_TK1_SOM/DaughterBoard/daughterboard_r3a_schematic.pdf -2024-07-12T01:22:36+00:00 +2024-07-12T03:14:02+00:00 diff --git a/updates/buildsystem.html b/updates/buildsystem.html index 6b8756c55c..13c51537b4 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 6ec44a0105..ea59a4c680 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 2aaed9e04f..16229c4dd3 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 84fbb4aae8..5acf27c1c8 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 633a5fdd21..62e16f19c8 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 cfbf4b3fc2..0bb43625a2 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 3fea236327..72ab4a1737 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 b03f3e6721..aca1ddcfab 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 bd119e4d27..120645af41 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 46119bf338..b27af000fe 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 1fb309f130..2bf82bf842 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 606aee6664..d43386c40c 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 dbd697e465..779e72996e 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 4c54578ebf..220879f22a 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 a560fdf5ea..738aebaa18 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 9d7d47aeac..6ec627f1f3 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 83034746de..c08cce0316 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 c336643e7c..7994369add 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 dc3c48f743..a18ac12cc1 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. --> - +