From 68cdabd57c3a2e1bc4ffe3d6c91716bc1f10ecc5 Mon Sep 17 00:00:00 2001 From: CI Date: Fri, 22 Sep 2023 03:19:58 +0000 Subject: [PATCH] auto-deployed --- 404.html | 2 +- CMA34DBMC/index.html | 2 +- CommunityProjects.html | 2 +- GettingStarted.html | 2 +- Hardware/BeagleBoard.html | 2 +- Hardware/Beaglebone.html | 2 +- Hardware/CEI_TK1_SOM/CANBoard/index.html | 2 +- Hardware/CEI_TK1_SOM/DaughterBoard/index.html | 2 +- Hardware/CEI_TK1_SOM/L4TCan/index.html | 2 +- Hardware/CEI_TK1_SOM/LogicPro8/index.html | 2 +- Hardware/CEI_TK1_SOM/Tk1SomMods/index.html | 2 +- Hardware/CEI_TK1_SOM/index.html | 2 +- Hardware/GeneralARM.html | 2 +- Hardware/HiKey/index.html | 2 +- Hardware/IA32.html | 2 +- Hardware/IF6410.html | 2 +- Hardware/JetsonTX2.html | 2 +- Hardware/Kzm.html | 2 +- Hardware/MaaXBoard.html | 2 +- Hardware/OdroidC2.html | 2 +- Hardware/OdroidC4.html | 2 +- Hardware/OdroidXU.html | 2 +- Hardware/OdroidXU4.html | 2 +- Hardware/Rpi3.html | 2 +- Hardware/Rpi4.html | 2 +- Hardware/VMware/index.html | 2 +- Hardware/ZC706.html | 2 +- Hardware/ZCU102.html | 2 +- Hardware/ariane.html | 2 +- Hardware/arndale.html | 2 +- Hardware/hifive.html | 2 +- Hardware/imx8mm.html | 2 +- Hardware/imx8mq.html | 2 +- Hardware/index.html | 2 +- Hardware/jetsontk1.html | 2 +- Hardware/jetsontx1.html | 2 +- Hardware/odroidx.html | 2 +- Hardware/polarfire.html | 2 +- Hardware/rocketchip-zcu102.html | 2 +- Hardware/rocketchip.html | 2 +- Hardware/rockpro64.html | 2 +- Hardware/sabreLite.html | 2 +- Hardware/spike.html | 2 +- Hardware/ultra96v2.html | 2 +- MaintainedRepositories.html | 2 +- SuggestedProjects.html | 2 +- Tutorials/camkes-vm-crossvm.html | 2 +- Tutorials/camkes-vm-linux.html | 2 +- Tutorials/capabilities.html | 2 +- Tutorials/dynamic-1.html | 2 +- Tutorials/dynamic-2.html | 2 +- Tutorials/dynamic-3.html | 2 +- Tutorials/dynamic-4.html | 2 +- Tutorials/fault-handlers.html | 2 +- Tutorials/hello-camkes-0.html | 2 +- Tutorials/hello-camkes-1.html | 2 +- Tutorials/hello-camkes-2.html | 2 +- Tutorials/hello-camkes-timer.html | 2 +- Tutorials/hello-world.html | 2 +- Tutorials/index.html | 2 +- Tutorials/interrupts.html | 2 +- Tutorials/ipc.html | 2 +- Tutorials/mapping.html | 2 +- Tutorials/mcs.html | 2 +- Tutorials/notifications.html | 2 +- Tutorials/threads.html | 2 +- Tutorials/untyped.html | 2 +- assets/css/bootstrap.css.map | 142 +++++++++--------- assets/css/style.css.map | 142 +++++++++--------- index.html | 2 +- processes/code-review.html | 2 +- processes/conduct.html | 2 +- processes/contributing.html | 2 +- processes/docs-contributing.html | 2 +- processes/emails.html | 2 +- processes/git-conventions.html | 2 +- processes/index.html | 2 +- processes/irc-channel.html | 2 +- processes/licenses.html | 2 +- processes/release-process.html | 2 +- processes/rfc-process.html | 2 +- processes/roles.html | 2 +- processes/style-guide.html | 2 +- processes/test-status.html | 2 +- processes/websites.html | 2 +- projects/available-user-components.html | 2 +- projects/buildsystem/host-dependencies.html | 2 +- projects/buildsystem/incorporating.html | 2 +- projects/buildsystem/index.html | 2 +- projects/buildsystem/old/index.html | 2 +- projects/buildsystem/repo-cheatsheet.html | 2 +- projects/buildsystem/standalone.html | 2 +- projects/buildsystem/using.html | 2 +- projects/camkes-vm/centos.html | 2 +- projects/camkes-vm/index.html | 2 +- projects/camkes-vm/zmq-samples.html | 2 +- projects/camkes/cli.html | 2 +- projects/camkes/differences.html | 2 +- projects/camkes/index.html | 2 +- projects/camkes/internals.html | 2 +- projects/camkes/manual.html | 2 +- projects/camkes/next.html | 2 +- projects/camkes/seL4SharedDataWithCaps.html | 2 +- projects/camkes/status.html | 2 +- projects/camkes/terminology.html | 2 +- projects/camkes/visual-camkes/index.html | 2 +- projects/capdl/c-loader-app.html | 2 +- projects/capdl/cdl-utils.html | 2 +- projects/capdl/index.html | 2 +- projects/capdl/object-sizes.html | 2 +- projects/capdl/python-tool.html | 2 +- projects/capdl/translator.html | 2 +- projects/dockerfiles/index.html | 2 +- projects/docsite/index.html | 2 +- .../AddressingOtherDevices.html | 2 +- .../driver_framework/ChildEnumeration.html | 2 +- .../driver_framework/DriverManagement.html | 2 +- projects/elfloader/index.html | 2 +- projects/hardware_hacks/index.html | 2 +- .../hardware_hacks/level-converter/index.html | 2 +- projects/index.html | 2 +- projects/l4v/index.html | 2 +- projects/roadmap.html | 2 +- projects/rust/index.html | 2 +- .../sel4-tutorials/benchmarking-guide.html | 2 +- projects/sel4-tutorials/debugging-guide.html | 2 +- .../sel4-tutorials/debugging-userspace.html | 2 +- projects/sel4/api-doc.html | 2 +- projects/sel4/documentation.html | 2 +- projects/sel4/frequently-asked-questions.html | 2 +- projects/sel4/index.html | 2 +- projects/sel4/kernel-contribution.html | 2 +- projects/sel4/manual-api-generation.html | 2 +- projects/sel4/porting.html | 2 +- projects/sel4/status.html | 2 +- projects/sel4/verified-configurations.html | 2 +- projects/sel4_tools/index.html | 2 +- projects/sel4bench/index.html | 2 +- projects/sel4bench/status.html | 2 +- projects/sel4runtime/index.html | 2 +- projects/sel4test/index.html | 2 +- projects/sel4test/status.html | 2 +- projects/sel4webserver/index.html | 2 +- projects/user_libs/index.html | 2 +- projects/user_libs/status.html | 2 +- .../docs/api/libsel4vm_arm_guest_vm.html | 2 +- .../docs/api/libsel4vm_boot.html | 2 +- .../docs/api/libsel4vm_guest_arm_context.html | 2 +- .../docs/api/libsel4vm_guest_iospace.html | 2 +- .../api/libsel4vm_guest_irq_controller.html | 2 +- .../docs/api/libsel4vm_guest_memory.html | 2 +- .../api/libsel4vm_guest_memory_helpers.html | 2 +- .../docs/api/libsel4vm_guest_ram.html | 2 +- .../docs/api/libsel4vm_guest_vcpu_fault.html | 2 +- .../docs/api/libsel4vm_guest_vm.html | 2 +- .../docs/api/libsel4vm_guest_vm_util.html | 2 +- .../docs/api/libsel4vm_guest_x86_context.html | 2 +- .../docs/api/libsel4vm_x86_guest_vm.html | 2 +- .../docs/api/libsel4vm_x86_ioports.html | 2 +- .../docs/api/libsel4vm_x86_vmcall.html | 2 +- .../libsel4vmmplatsupport_arm_ac_device.html | 2 +- ...latsupport_arm_generic_forward_device.html | 2 +- ...el4vmmplatsupport_arm_guest_boot_init.html | 2 +- ...ibsel4vmmplatsupport_arm_guest_reboot.html | 2 +- ...l4vmmplatsupport_arm_guest_vcpu_fault.html | 2 +- ...el4vmmplatsupport_arm_guest_vcpu_util.html | 2 +- .../api/libsel4vmmplatsupport_arm_vpci.html | 2 +- .../api/libsel4vmmplatsupport_arm_vusb.html | 2 +- ...el4vmmplatsupport_cross_vm_connection.html | 2 +- .../api/libsel4vmmplatsupport_device.html | 2 +- .../libsel4vmmplatsupport_device_utils.html | 2 +- .../libsel4vmmplatsupport_guest_image.html | 2 +- ...bsel4vmmplatsupport_guest_memory_util.html | 2 +- ...libsel4vmmplatsupport_guest_vcpu_util.html | 2 +- .../api/libsel4vmmplatsupport_ioports.html | 2 +- .../docs/api/libsel4vmmplatsupport_pci.html | 2 +- .../api/libsel4vmmplatsupport_pci_helper.html | 2 +- .../api/libsel4vmmplatsupport_virtio_con.html | 2 +- .../api/libsel4vmmplatsupport_virtio_net.html | 2 +- .../api/libsel4vmmplatsupport_x86_acpi.html | 2 +- ...el4vmmplatsupport_x86_guest_boot_init.html | 2 +- ...sel4vmmplatsupport_x86_vmm_pci_helper.html | 2 +- projects/virtualization/docs/index.html | 2 +- projects/virtualization/index.html | 2 +- projects/virtualization/libsel4vm.html | 2 +- .../virtualization/libsel4vmmplatsupport.html | 2 +- releases/camkes.html | 2 +- releases/camkes/camkes-2.0.0.html | 2 +- releases/camkes/camkes-2.1.0.html | 2 +- releases/camkes/camkes-2.2.0.html | 2 +- releases/camkes/camkes-2.3.0.html | 2 +- releases/camkes/camkes-2.3.1.html | 2 +- releases/camkes/camkes-3.0.0.html | 2 +- releases/camkes/camkes-3.1.0.html | 2 +- releases/camkes/camkes-3.10.0.html | 2 +- releases/camkes/camkes-3.2.0.html | 2 +- releases/camkes/camkes-3.3.0.html | 2 +- releases/camkes/camkes-3.4.0.html | 2 +- releases/camkes/camkes-3.5.0.html | 2 +- releases/camkes/camkes-3.6.0.html | 2 +- releases/camkes/camkes-3.7.0.html | 2 +- releases/camkes/camkes-3.8.0.html | 2 +- releases/camkes/camkes-3.9.0.html | 2 +- releases/capdl/0.1.0.html | 2 +- releases/capdl/0.2.0.html | 2 +- releases/capdl/0.2.1.html | 2 +- releases/sel4.html | 2 +- releases/sel4/0.0.1-rt-dev.html | 2 +- releases/sel4/1.0.0-rt-dev.html | 2 +- releases/sel4/10.0.0.html | 2 +- releases/sel4/10.1.0.html | 2 +- releases/sel4/10.1.1-mcs.html | 2 +- releases/sel4/10.1.1.html | 2 +- releases/sel4/11.0.0.html | 2 +- releases/sel4/12.0.0.html | 2 +- releases/sel4/12.1.0.html | 2 +- releases/sel4/2.0.0.html | 2 +- releases/sel4/2.1.0.html | 2 +- releases/sel4/3.0.0.html | 2 +- releases/sel4/3.0.1.html | 2 +- releases/sel4/3.1.0.html | 2 +- releases/sel4/3.2.0.html | 2 +- releases/sel4/4.0.0.html | 2 +- releases/sel4/5.0.0.html | 2 +- releases/sel4/5.1.0.html | 2 +- releases/sel4/5.2.0-mcs.html | 2 +- releases/sel4/5.2.0.html | 2 +- releases/sel4/6.0.0.html | 2 +- releases/sel4/7.0.0.html | 2 +- releases/sel4/8.0.0.html | 2 +- releases/sel4/9.0.0-mcs.html | 2 +- releases/sel4/9.0.0.html | 2 +- releases/sel4/9.0.1.html | 2 +- sitemap.html | 2 +- sitemap.xml | 124 +++++++-------- updates/buildsystem.html | 2 +- updates/buildsystem/11.0.x.html | 2 +- updates/camkes-vm.html | 2 +- updates/camkes-vm/camkes-3.8.x-arm-old.html | 2 +- updates/camkes-vm/camkes-3.8.x.html | 2 +- updates/elfloader.html | 2 +- updates/elfloader/11.0.x.html | 2 +- updates/sel4-tutorials.html | 2 +- updates/sel4-tutorials/camkes-3.8.x.html | 2 +- updates/sel4bench.html | 2 +- updates/sel4bench/11.0.x.html | 2 +- updates/sel4runtime.html | 2 +- updates/sel4runtime/11.0.x.html | 2 +- updates/sel4test.html | 2 +- updates/sel4test/11.0.x.html | 2 +- updates/sel4webserver.html | 2 +- updates/sel4webserver/camkes-3.8.x.html | 2 +- updates/user_libs.html | 2 +- updates/user_libs/11.0.x.html | 2 +- 254 files changed, 455 insertions(+), 455 deletions(-) diff --git a/404.html b/404.html index a4456f2919..f5da55bc58 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 7e60aa770f..3ce1024788 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 ed3b09f49c..6fc68681c2 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 0bfd99e224..baec5c6462 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 71fce2f67a..7e467dbb59 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 abbb81a99a..f79fa8e7c1 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 2d84137e81..3eb174bcfd 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 d4d6069c0b..9b280e4c3e 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 9a993ec8f9..8f3a30a372 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 3dbe6fb090..5a46afd196 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 0b3272585f..beff74f06b 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 f1bd0b5fd4..d504904bf4 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 9102c688ca..deea01c224 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 5ba71fa269..29d4198f34 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 533d1a4a49..ce903dc9a2 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 99521aa8aa..3f4397e7c8 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 e8858650b5..a3a36c0c5a 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 10cb7b9dfa..87661bf4e2 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 c53e25c32c..0ed75f24f0 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 8081e7176e..3c962bc735 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 6f0ea53a72..9545c7fe8c 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 1ac166c7a0..18713e3b31 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 bce9eae3e8..d0d2530d19 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 e5bfed5628..e652a91642 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 37abd83e09..f3d3dd260a 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 7a88daec2a..10757a8cda 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 caee418baf..0beb207263 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 a26e5e7f1a..de1ce7afe0 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 17a8eb2cad..ec60d82128 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 445c1bf54c..ebdbd5c665 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 ad824fd6a4..8fe7db126e 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 fe836a8483..dacbab43ae 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 ab7b21deb9..61aa13a0e0 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 1561a5e411..be0c2f24e4 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 afd6c92f30..18ece24e38 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 6dba149ccb..42e9fcd3a9 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 e314032f7a..eeb762b84d 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 efc8a79de4..6a57ca896e 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 d9a144cb3e..bc2bb57c11 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 3ab05e2f2a..0ff0b25bc8 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 16a4dee735..533bd8a745 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 2dc7b40c73..f892316268 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 66ee39dca7..1cb1fb24e4 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 1bf55c4e75..c70de1f245 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 4e6f38e5b2..5fbbfefc95 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 de4cb9c88c..964c7009d2 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 e53a1cc875..d4ee83141e 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 bb1fb9f1ec..0d93efd7af 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 9f59d6bf06..cd4882345f 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 3f97e547fe..2672852902 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 43f5021ecf..a5b05f4ce6 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 059a716411..12d10b0aba 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 0a28fefa6a..38b9ace0b4 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 7080ddacdd..2210b78ab2 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 c462b57f31..62ead471b4 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 7fb7e8d0a6..7644b694a9 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 0696c27ba9..c282a9361d 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 f9c0536869..8f124e175c 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 b0701245b5..290a69b539 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 a9be6c3b36..716ee6ce18 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 782f1dc6ad..4857ef6ad3 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 cc0bc2cd8b..1c32cb4135 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 291f3960da..b02416702e 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 a5aa03496b..5014a6c8f0 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 517198d5d1..fbc3046baa 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 2d4bb3a772..c0543241ef 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 73b59d744d..7560c02b88 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 a3579e41f7..dd2c4d873f 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-20230921-4751-e9ya8y/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_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 b1356e175b..e057cdb7f7 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-20230921-4751-e9ya8y/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20230921-4751-e9ya8y/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20230922-4772-3ayxce/_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 9d230bec26..2ffd53833b 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 4f5fc05f77..19c919bbd2 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 8d58e9c617..a4bb10dddf 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 84fb7d086a..009ce77311 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 1f2cc98924..1fc1123ee2 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 8d363ceaa9..c206628b1f 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 a3f74b08dc..016f19bdaa 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 c9858d0182..f5a3051250 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 f5fed67cbf..237d4095a7 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 4ed7907928..0d339ed6ad 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 ad9e982dbf..56d2fa78fb 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 73178aeb61..04ad8b8786 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 a05b073a4a..4ce3f76846 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 e0807c1263..09d45262a5 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 452a40861f..0caaa7ca1a 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 eaa3154229..5ec080753d 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 a5d8fe3712..716b2359e0 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 ebbab5e039..35006da274 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 114bb6c1bb..6befbee82b 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 c0987bd5ef..0183ef7aa8 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 a3126efceb..35f0fcfeda 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 dc5b361604..19a5a8a2dc 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 575ed52cb3..645116f7f1 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 3cb26443ad..a2e85b11cb 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 bf299d2bc8..53be195f7f 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 1ce783d5a7..d9831b3530 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 d2c0c7b911..1030590003 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 e2c9a054d9..5d120aad72 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 b6f79ee385..974eb2bbee 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 779b2bfa2a..a0e191935a 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 796e8acf43..70946d84d3 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 0fd7e39afe..311903ac15 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 cbd08d66e0..54f877fe09 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 618f8d91d3..c84a1d9c17 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 ed66ff1527..fb4d3c884f 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 c9d162fe3a..68b4e35388 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 ae33c0fda4..28b7f0aae2 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 c34fb7027b..c7c3bd3c13 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 737165c3d5..3ba03f09f6 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 c142149f39..e6ad8cbd9d 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 096cf2c28a..31d2d6ccd9 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 7749e35c47..586f9015ae 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 3cf98b81df..277f4a7332 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 a8bfde47d5..fd7b963761 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 504a22baaf..eac6e72310 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 cdefc65c30..8e287e418c 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 3590732d6a..4b8febe5b6 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 aac8d35d76..0f8d586cb1 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 02271c6571..f6dcf51089 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 bcc97b3825..eb8f579a87 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 50ed512756..63b5e981bd 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 7f1732f43e..19c7f16828 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 652056a387..be1e70e899 100644 --- a/projects/l4v/index.html +++ b/projects/l4v/index.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/projects/roadmap.html b/projects/roadmap.html index c12b88e4ed..e175513bdf 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 f377f342fa..7e6d1a9f23 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 d264533440..c54f19227a 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 71746d86cc..ece918e903 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 e84396d1a5..7b38c9ed63 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 e8efeeff57..639856767f 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 7ff1def2e1..195c9081db 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 0c7052b3d7..1ca4e68651 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 dbacf7a45f..8a47569fa0 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 3553080b3b..a4fa8c1002 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 7d561b00fb..a023507163 100644 --- a/projects/sel4/manual-api-generation.html +++ b/projects/sel4/manual-api-generation.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/projects/sel4/porting.html b/projects/sel4/porting.html index d3f8e09ce6..9b2b57d0ec 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 a5a7f0416c..3d298d80b2 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 cc436e5586..a81752036f 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 98680fc7f4..65f907767c 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 262aab7b67..80b76ba36a 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 1d557ce851..28f972e0b3 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 dc290c83bc..ffd3057dcf 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 3d2f9767c6..a60fe2b2d5 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 06c8530cf7..887378ca20 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 3eb7cfb55a..a7861fe4d7 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 ea40838670..ae63d1fd42 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 8e97487bf4..71cd5b5973 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 35cd9a8f98..6f10e68827 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 9163aa8f7c..6bb59211e3 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 661147e7e4..b0adb6137c 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 f38151be00..8dccc304b8 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 0569ca5f35..57611a3ac9 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 1f8c06a1fd..8b6b477c17 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 b5057fa666..e51a1b425e 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 991da45feb..dd11478a70 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 8d40d1ac3c..223c5762c5 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 41fe6a52d7..23a7f3a6f5 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 a854e48988..3ead730d5e 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 34d74290fa..ba516b3131 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 cea6d14241..50372d9a4d 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 2199d5cb60..221501c800 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 988e805a8b..8839e2e958 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 365a93001e..94ecb47f4e 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 3a45850fc1..69ae0b05bc 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 159ae66d8d..2e93bc4490 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 5be3e8eae3..955fbb6b11 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 dbe6d3bee6..4599c2fa4e 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 4be4cb8e53..da5d0cbaa0 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 0aeddaba9c..975d4a5bf6 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 8d5d19f30e..4c3387a9d8 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 9e61d5d164..362b0525ef 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 ea47c90209..9f4e91460e 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 0935529e8b..cb0268fa06 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 303672dfbf..4bbf94ebeb 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 2269d1c276..f87d33d2ad 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 6d279ff672..1be4d8bd52 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 d089cdc836..ba1f81170c 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 828a010f95..c643306a64 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 c5cb220886..c5b6ef950d 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 324f5512f1..69df209498 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 b5521f1d14..8e55463605 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 970980b26c..8b153e09c0 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 7da938cdb5..0de1dd658a 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 63c41359d8..28861c06d0 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 e5565422c8..8bcfb7172f 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 d690454ea0..92f4eee3c1 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 0f128429c2..d84b9036c3 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 da71a503b5..3f27e1babb 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 4eefbd3eda..8f07f05e91 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 4c6af7e603..93d9e75525 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 4107ecc49f..198a1cb379 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 5b7b6c6042..207ccec811 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 bb2e05fde1..f4b1c59bb8 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 52580ce302..248e0f50c6 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 acd654e713..6846203cc2 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 693715295d..702102e481 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 0b8d2a7b52..bc139d9dd6 100644 --- a/releases/camkes/camkes-3.10.0.html +++ b/releases/camkes/camkes-3.10.0.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/releases/camkes/camkes-3.2.0.html b/releases/camkes/camkes-3.2.0.html index 0d6fac4cac..d6b5cdadfc 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 5534833abe..ecca609eae 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 3fbbe89687..c3e6f44b54 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 4b31818f80..6896385ada 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 26b2ee5d68..699948669a 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 33ff5413be..5b394cc78a 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 a244f13e00..61bff871a2 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 51212d7a3a..c086b7576f 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 b5a8e2895c..6781312b5b 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 1c624c9fe1..d1e254a281 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 5fe2cdd821..162ca227b7 100644 --- a/releases/capdl/0.2.1.html +++ b/releases/capdl/0.2.1.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/releases/sel4.html b/releases/sel4.html index 5c776672b8..79c5816cc2 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 9a0a966475..8815c37630 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 404c1f8cc2..30f895fb42 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 16233d162b..e89db7905c 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 34a5a4b2f7..96e0e158b6 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 d76dd4b782..ee5acb5331 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 b0379954c7..a41e4042af 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 6efdcf9e4c..01586025a5 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 1128a63176..79046417ee 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 b265cfe357..90b93755c8 100644 --- a/releases/sel4/12.1.0.html +++ b/releases/sel4/12.1.0.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + diff --git a/releases/sel4/2.0.0.html b/releases/sel4/2.0.0.html index ef70a8d576..e760a3fda9 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 cd0fd398a7..7fa960c717 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 c989e0ba0b..47cc6031b5 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 d9392c3c95..98ddd94e46 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 7e2e74b94d..849cf83776 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 dc1e89a97a..d1f0007a7d 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 dd22db79a9..5b69045a64 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 3ac857d5ba..81abb81a1f 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 bd7e48179c..c9bb1046b0 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 c6745103d7..667347f191 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 f9f4902389..21353d1920 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 1345479620..48f38fdf61 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 bde54df27c..56934e5db2 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 001e712f27..c1f155ecc5 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 bc335b1f32..e608934821 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 52cd322f03..c949424e26 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 90ebae8320..3f07c285f1 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 7f4dbd0bb8..212cd7ad0b 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 ffd3f2daad..1ad9d38cdb 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -2,243 +2,243 @@ https://docs.sel4.systems/releases/camkes/camkes-2.0.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.1.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.2.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.1.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.0.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.1.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.10.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.2.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.3.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.4.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.5.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.6.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.7.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.8.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.9.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/capdl/0.1.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/capdl/0.2.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/capdl/0.2.1.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/0.0.1-rt-dev.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/1.0.0-rt-dev.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/10.0.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/10.1.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/10.1.1-mcs.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/10.1.1.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/11.0.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/12.0.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/12.1.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/2.0.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/2.1.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/3.0.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/3.0.1.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/3.1.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/3.2.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/4.0.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/5.0.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/5.1.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/5.2.0-mcs.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/5.2.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/6.0.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/7.0.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/8.0.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/9.0.0-mcs.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/9.0.0.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/releases/sel4/9.0.1.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/projects/camkes/status.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/projects/sel4/status.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/projects/sel4bench/status.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/projects/sel4test/status.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/projects/user_libs/status.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/updates/buildsystem/11.0.x.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x-arm-old.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/updates/elfloader/11.0.x.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/updates/sel4-tutorials/camkes-3.8.x.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/updates/sel4bench/11.0.x.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/updates/sel4runtime/11.0.x.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/updates/sel4test/11.0.x.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/updates/sel4webserver/camkes-3.8.x.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/updates/user_libs/11.0.x.html -2023-09-21T03:17:51+00:00 +2023-09-22T03:19:11+00:00 https://docs.sel4.systems/projects/driver_framework/AddressingOtherDevices.html @@ -812,10 +812,10 @@ https://docs.sel4.systems/Hardware/CEI_TK1_SOM/CANBoard/canboard_v3.pdf -2023-09-21T03:13:07+00:00 +2023-09-22T03:13:15+00:00 https://docs.sel4.systems/Hardware/CEI_TK1_SOM/DaughterBoard/daughterboard_r3a_schematic.pdf -2023-09-21T03:13:07+00:00 +2023-09-22T03:13:15+00:00 diff --git a/updates/buildsystem.html b/updates/buildsystem.html index e51c92c112..89dad10872 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 1d4923d2b6..89fde11571 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 955512d298..80da4d3f2d 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 bb1acf8c87..ad6cd80ee5 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 52ad10ef56..50ff0fa01c 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 2cc0e16e79..86e6c4be34 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 c4568b01d6..9915c279af 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 3c5e6e2ac6..83df19e37d 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 a3daa79aec..f29f504282 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 94927c339f..611099c04a 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 e5860f786d..d1b294edc0 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 ce59135d4e..509a185c05 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 52707ab4a0..3ada43695c 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 7d97f903eb..59ac296f28 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 472c3e7211..390bf90b20 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 7d6dcb3758..98aaf78a09 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 61c7e9241e..927c3ce4ae 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 2e935bc214..2f9888b186 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 f83002292b..1356d1d66a 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. --> - +