From 4f6ab8d94d71ac4a30dcd0e73781fdcace8dc285 Mon Sep 17 00:00:00 2001 From: CI Date: Fri, 12 Jul 2024 01:24:28 +0000 Subject: [PATCH] auto-deployed --- 404.html | 4 +- CMA34DBMC/index.html | 4 +- CommunityProjects.html | 4 +- GettingStarted.html | 4 +- Hardware/BeagleBoard.html | 4 +- Hardware/Beaglebone.html | 4 +- Hardware/CEI_TK1_SOM/CANBoard/index.html | 4 +- Hardware/CEI_TK1_SOM/DaughterBoard/index.html | 4 +- Hardware/CEI_TK1_SOM/L4TCan/index.html | 4 +- Hardware/CEI_TK1_SOM/LogicPro8/index.html | 4 +- Hardware/CEI_TK1_SOM/Tk1SomMods/index.html | 4 +- Hardware/CEI_TK1_SOM/index.html | 4 +- Hardware/GeneralARM.html | 4 +- Hardware/HiKey/index.html | 4 +- Hardware/IA32.html | 4 +- Hardware/IF6410.html | 4 +- Hardware/JetsonTX2.html | 4 +- Hardware/Kzm.html | 4 +- Hardware/MaaXBoard.html | 4 +- Hardware/OdroidC2.html | 4 +- Hardware/OdroidC4.html | 4 +- Hardware/OdroidXU.html | 4 +- Hardware/OdroidXU4.html | 4 +- Hardware/Rpi3.html | 4 +- Hardware/Rpi4.html | 4 +- Hardware/VMware/index.html | 4 +- Hardware/VMware/seL4vmw.py | 8 +- Hardware/ZC706.html | 4 +- Hardware/ZCU102.html | 4 +- Hardware/ariane.html | 4 +- Hardware/arndale.html | 4 +- Hardware/hifive.html | 4 +- Hardware/imx8mm.html | 4 +- Hardware/imx8mq.html | 4 +- Hardware/index.html | 4 +- Hardware/jetsontk1.html | 4 +- Hardware/jetsontx1.html | 4 +- Hardware/odroidx.html | 4 +- Hardware/polarfire.html | 4 +- Hardware/rocketchip-zcu102.html | 4 +- Hardware/rocketchip.html | 4 +- Hardware/rockpro64.html | 4 +- Hardware/sabreLite.html | 4 +- Hardware/spike.html | 4 +- Hardware/ultra96v2.html | 4 +- MaintainedRepositories.html | 4 +- SuggestedProjects.html | 4 +- Tutorials/camkes-vm-crossvm.html | 4 +- Tutorials/camkes-vm-linux.html | 4 +- Tutorials/capabilities.html | 4 +- Tutorials/dynamic-1.html | 4 +- Tutorials/dynamic-2.html | 4 +- Tutorials/dynamic-3.html | 4 +- Tutorials/dynamic-4.html | 4 +- Tutorials/fault-handlers.html | 4 +- Tutorials/hello-camkes-0.html | 4 +- Tutorials/hello-camkes-1.html | 4 +- Tutorials/hello-camkes-2.html | 4 +- Tutorials/hello-camkes-timer.html | 4 +- Tutorials/hello-world.html | 4 +- Tutorials/index.html | 4 +- Tutorials/interrupts.html | 4 +- Tutorials/ipc.html | 4 +- Tutorials/mapping.html | 4 +- Tutorials/mcs.html | 4 +- Tutorials/notifications.html | 4 +- Tutorials/threads.html | 4 +- Tutorials/untyped.html | 4 +- assets/css/bootstrap.css.map | 142 +++++++++--------- assets/css/style.css.map | 142 +++++++++--------- index.html | 4 +- processes/code-review.html | 4 +- processes/conduct.html | 4 +- processes/contributing.html | 4 +- processes/docs-contributing.html | 4 +- processes/emails.html | 4 +- processes/git-conventions.html | 4 +- processes/index.html | 4 +- processes/irc-channel.html | 4 +- processes/licenses.html | 4 +- processes/release-process.html | 4 +- processes/rfc-process.html | 4 +- processes/roles.html | 4 +- processes/style-guide.html | 4 +- processes/test-status.html | 4 +- processes/websites.html | 4 +- projects/available-user-components.html | 4 +- projects/buildsystem/host-dependencies.html | 4 +- projects/buildsystem/incorporating.html | 4 +- projects/buildsystem/index.html | 4 +- projects/buildsystem/old/index.html | 4 +- projects/buildsystem/repo-cheatsheet.html | 4 +- projects/buildsystem/standalone.html | 4 +- projects/buildsystem/using.html | 4 +- projects/camkes-vm/centos.html | 4 +- projects/camkes-vm/index.html | 4 +- projects/camkes-vm/zmq-samples.html | 4 +- projects/camkes/cli.html | 4 +- projects/camkes/differences.html | 4 +- projects/camkes/index.html | 4 +- projects/camkes/internals.html | 4 +- projects/camkes/manual.html | 4 +- projects/camkes/next.html | 4 +- projects/camkes/seL4SharedDataWithCaps.html | 4 +- projects/camkes/status.html | 4 +- projects/camkes/terminology.html | 4 +- projects/camkes/visual-camkes/index.html | 4 +- projects/capdl/c-loader-app.html | 4 +- projects/capdl/cdl-utils.html | 4 +- projects/capdl/index.html | 4 +- projects/capdl/object-sizes.html | 4 +- projects/capdl/python-tool.html | 4 +- projects/capdl/translator.html | 4 +- projects/dockerfiles/index.html | 4 +- projects/docsite/index.html | 4 +- .../AddressingOtherDevices.html | 4 +- .../driver_framework/ChildEnumeration.html | 4 +- .../driver_framework/DriverManagement.html | 4 +- projects/elfloader/index.html | 4 +- projects/hardware_hacks/index.html | 4 +- .../hardware_hacks/level-converter/index.html | 4 +- projects/index.html | 4 +- projects/l4v/index.html | 4 +- projects/microkit/index.html | 4 +- projects/roadmap.html | 4 +- projects/rust/index.html | 4 +- .../sel4-tutorials/benchmarking-guide.html | 4 +- projects/sel4-tutorials/debugging-guide.html | 4 +- .../sel4-tutorials/debugging-userspace.html | 4 +- projects/sel4/api-doc.html | 4 +- projects/sel4/documentation.html | 4 +- projects/sel4/frequently-asked-questions.html | 4 +- projects/sel4/index.html | 4 +- projects/sel4/kernel-contribution.html | 4 +- projects/sel4/manual-api-generation.html | 4 +- projects/sel4/platf-owner.html | 4 +- projects/sel4/porting.html | 4 +- projects/sel4/status.html | 4 +- projects/sel4/verified-configurations.html | 4 +- projects/sel4_tools/index.html | 4 +- projects/sel4bench/index.html | 4 +- projects/sel4bench/status.html | 4 +- projects/sel4runtime/index.html | 4 +- projects/sel4test/index.html | 4 +- projects/sel4test/status.html | 4 +- projects/sel4webserver/index.html | 4 +- projects/user_libs/index.html | 4 +- projects/user_libs/status.html | 4 +- .../docs/api/libsel4vm_arm_guest_vm.html | 4 +- .../docs/api/libsel4vm_boot.html | 4 +- .../docs/api/libsel4vm_guest_arm_context.html | 4 +- .../docs/api/libsel4vm_guest_iospace.html | 4 +- .../api/libsel4vm_guest_irq_controller.html | 4 +- .../docs/api/libsel4vm_guest_memory.html | 4 +- .../api/libsel4vm_guest_memory_helpers.html | 4 +- .../docs/api/libsel4vm_guest_ram.html | 4 +- .../docs/api/libsel4vm_guest_vcpu_fault.html | 4 +- .../docs/api/libsel4vm_guest_vm.html | 4 +- .../docs/api/libsel4vm_guest_vm_util.html | 4 +- .../docs/api/libsel4vm_guest_x86_context.html | 4 +- .../docs/api/libsel4vm_x86_guest_vm.html | 4 +- .../docs/api/libsel4vm_x86_ioports.html | 4 +- .../docs/api/libsel4vm_x86_vmcall.html | 4 +- .../libsel4vmmplatsupport_arm_ac_device.html | 4 +- ...latsupport_arm_generic_forward_device.html | 4 +- ...el4vmmplatsupport_arm_guest_boot_init.html | 4 +- ...ibsel4vmmplatsupport_arm_guest_reboot.html | 4 +- ...l4vmmplatsupport_arm_guest_vcpu_fault.html | 4 +- ...el4vmmplatsupport_arm_guest_vcpu_util.html | 4 +- .../api/libsel4vmmplatsupport_arm_vpci.html | 4 +- .../api/libsel4vmmplatsupport_arm_vusb.html | 4 +- ...el4vmmplatsupport_cross_vm_connection.html | 4 +- .../api/libsel4vmmplatsupport_device.html | 4 +- .../libsel4vmmplatsupport_device_utils.html | 4 +- .../libsel4vmmplatsupport_guest_image.html | 4 +- ...bsel4vmmplatsupport_guest_memory_util.html | 4 +- ...libsel4vmmplatsupport_guest_vcpu_util.html | 4 +- .../api/libsel4vmmplatsupport_ioports.html | 4 +- .../docs/api/libsel4vmmplatsupport_pci.html | 4 +- .../api/libsel4vmmplatsupport_pci_helper.html | 4 +- .../api/libsel4vmmplatsupport_virtio_con.html | 4 +- .../api/libsel4vmmplatsupport_virtio_net.html | 4 +- .../api/libsel4vmmplatsupport_x86_acpi.html | 4 +- ...el4vmmplatsupport_x86_guest_boot_init.html | 4 +- ...sel4vmmplatsupport_x86_vmm_pci_helper.html | 4 +- projects/virtualization/docs/index.html | 4 +- projects/virtualization/index.html | 4 +- projects/virtualization/libsel4vm.html | 4 +- .../virtualization/libsel4vmmplatsupport.html | 4 +- releases/camkes.html | 4 +- releases/camkes/camkes-2.0.0.html | 4 +- releases/camkes/camkes-2.1.0.html | 4 +- releases/camkes/camkes-2.2.0.html | 4 +- releases/camkes/camkes-2.3.0.html | 4 +- releases/camkes/camkes-2.3.1.html | 4 +- releases/camkes/camkes-3.0.0.html | 4 +- releases/camkes/camkes-3.1.0.html | 4 +- releases/camkes/camkes-3.10.0.html | 4 +- releases/camkes/camkes-3.11.0.html | 4 +- releases/camkes/camkes-3.2.0.html | 4 +- releases/camkes/camkes-3.3.0.html | 4 +- releases/camkes/camkes-3.4.0.html | 4 +- releases/camkes/camkes-3.5.0.html | 4 +- releases/camkes/camkes-3.6.0.html | 4 +- releases/camkes/camkes-3.7.0.html | 4 +- releases/camkes/camkes-3.8.0.html | 4 +- releases/camkes/camkes-3.9.0.html | 4 +- releases/capdl/0.1.0.html | 4 +- releases/capdl/0.2.0.html | 4 +- releases/capdl/0.2.1.html | 4 +- releases/capdl/0.3.0.html | 4 +- releases/microkit/1.3.0.html | 4 +- releases/sel4.html | 4 +- releases/sel4/0.0.1-rt-dev.html | 4 +- releases/sel4/1.0.0-rt-dev.html | 4 +- releases/sel4/10.0.0.html | 4 +- releases/sel4/10.1.0.html | 4 +- releases/sel4/10.1.1-mcs.html | 4 +- releases/sel4/10.1.1.html | 4 +- releases/sel4/11.0.0.html | 4 +- releases/sel4/12.0.0.html | 4 +- releases/sel4/12.1.0.html | 4 +- releases/sel4/13.0.0.html | 4 +- releases/sel4/2.0.0.html | 4 +- releases/sel4/2.1.0.html | 4 +- releases/sel4/3.0.0.html | 4 +- releases/sel4/3.0.1.html | 4 +- releases/sel4/3.1.0.html | 4 +- releases/sel4/3.2.0.html | 4 +- releases/sel4/4.0.0.html | 4 +- releases/sel4/5.0.0.html | 4 +- releases/sel4/5.1.0.html | 4 +- releases/sel4/5.2.0-mcs.html | 4 +- releases/sel4/5.2.0.html | 4 +- releases/sel4/6.0.0.html | 4 +- releases/sel4/7.0.0.html | 4 +- releases/sel4/8.0.0.html | 4 +- releases/sel4/9.0.0-mcs.html | 4 +- releases/sel4/9.0.0.html | 4 +- releases/sel4/9.0.1.html | 4 +- sitemap.html | 4 +- sitemap.xml | 132 ++++++++-------- updates/buildsystem.html | 4 +- updates/buildsystem/11.0.x.html | 4 +- updates/camkes-vm.html | 4 +- updates/camkes-vm/camkes-3.8.x-arm-old.html | 4 +- updates/camkes-vm/camkes-3.8.x.html | 4 +- updates/elfloader.html | 4 +- updates/elfloader/11.0.x.html | 4 +- updates/sel4-tutorials.html | 4 +- updates/sel4-tutorials/camkes-3.8.x.html | 4 +- updates/sel4bench.html | 4 +- updates/sel4bench/11.0.x.html | 4 +- updates/sel4runtime.html | 4 +- updates/sel4runtime/11.0.x.html | 4 +- updates/sel4test.html | 4 +- updates/sel4test/11.0.x.html | 4 +- updates/sel4webserver.html | 4 +- updates/sel4webserver/camkes-3.8.x.html | 4 +- updates/user_libs.html | 4 +- updates/user_libs/11.0.x.html | 4 +- 261 files changed, 725 insertions(+), 727 deletions(-) diff --git a/404.html b/404.html index 2faabb5252..2f3a069f64 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. --> - + @@ -160,7 +160,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/CMA34DBMC/index.html b/CMA34DBMC/index.html index a0930fcb46..e0165cef95 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. --> - + @@ -187,7 +187,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/CommunityProjects.html b/CommunityProjects.html index 0d846b04a6..d40b875600 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. --> - + @@ -302,7 +302,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Oct 23 14:16:33 2023 +1100 9c8ef6f10e diff --git a/GettingStarted.html b/GettingStarted.html index 66161262d9..ace04cc201 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. --> - + @@ -454,7 +454,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Jan 12 11:07:34 2023 +1100 bf46bb9105 diff --git a/Hardware/BeagleBoard.html b/Hardware/BeagleBoard.html index e7724f77f8..f37a641ff0 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. --> - + @@ -341,7 +341,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/Hardware/Beaglebone.html b/Hardware/Beaglebone.html index 218ed915fa..f9524e8454 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. --> - + @@ -267,7 +267,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/Hardware/CEI_TK1_SOM/CANBoard/index.html b/Hardware/CEI_TK1_SOM/CANBoard/index.html index 4ab0299b57..4c326eab79 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. --> - + @@ -475,7 +475,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/Hardware/CEI_TK1_SOM/DaughterBoard/index.html b/Hardware/CEI_TK1_SOM/DaughterBoard/index.html index b1305f56e1..e0d7f0702d 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. --> - + @@ -499,7 +499,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/Hardware/CEI_TK1_SOM/L4TCan/index.html b/Hardware/CEI_TK1_SOM/L4TCan/index.html index 565daea641..ea696de460 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. --> - + @@ -448,7 +448,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Wed Aug 25 12:10:59 2021 +1000 c6060204d6 diff --git a/Hardware/CEI_TK1_SOM/LogicPro8/index.html b/Hardware/CEI_TK1_SOM/LogicPro8/index.html index 1ddc6423da..4f0f5579e5 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. --> - + @@ -292,7 +292,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Hardware/CEI_TK1_SOM/Tk1SomMods/index.html b/Hardware/CEI_TK1_SOM/Tk1SomMods/index.html index d1fa0678f2..3639816af0 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. --> - + @@ -252,7 +252,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Hardware/CEI_TK1_SOM/index.html b/Hardware/CEI_TK1_SOM/index.html index ac0c5c9dad..9fc8542fce 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. --> - + @@ -372,7 +372,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Dec 19 12:55:38 2023 +0100 31df039362 diff --git a/Hardware/GeneralARM.html b/Hardware/GeneralARM.html index ab1a5d5633..69a943e9e3 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. --> - + @@ -245,7 +245,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Hardware/HiKey/index.html b/Hardware/HiKey/index.html index b22831bfed..b7a1a5ed61 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. --> - + @@ -415,7 +415,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/Hardware/IA32.html b/Hardware/IA32.html index 7fae687edd..c06c7ec293 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. --> - + @@ -261,7 +261,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Hardware/IF6410.html b/Hardware/IF6410.html index a80d5d29d9..cfe9cc4e68 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. --> - + @@ -225,7 +225,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Hardware/JetsonTX2.html b/Hardware/JetsonTX2.html index 2c0df94859..74b72c3741 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. --> - + @@ -204,7 +204,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Fri Mar 29 17:22:39 2024 -0400 e06f0ae5ad diff --git a/Hardware/Kzm.html b/Hardware/Kzm.html index a4ba9b9a70..2bdb28c651 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. --> - + @@ -174,7 +174,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/Hardware/MaaXBoard.html b/Hardware/MaaXBoard.html index be465edc35..eee0e89179 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. --> - + @@ -193,7 +193,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Wed May 11 17:30:38 2022 +1000 62b7ec3283 diff --git a/Hardware/OdroidC2.html b/Hardware/OdroidC2.html index 3fb8369dc5..a608284647 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. --> - + @@ -218,7 +218,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/Hardware/OdroidC4.html b/Hardware/OdroidC4.html index e920cfff33..78c020e16e 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. --> - + @@ -208,7 +208,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Sun Mar 5 13:53:55 2023 +1100 06181b87a5 diff --git a/Hardware/OdroidXU.html b/Hardware/OdroidXU.html index 2f295fa0db..f9ff443b3b 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. --> - + @@ -212,7 +212,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Dec 19 12:55:38 2023 +0100 31df039362 diff --git a/Hardware/OdroidXU4.html b/Hardware/OdroidXU4.html index 25b12682f9..bcbfa5dbaf 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. --> - + @@ -190,7 +190,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Dec 19 12:55:38 2023 +0100 31df039362 diff --git a/Hardware/Rpi3.html b/Hardware/Rpi3.html index 311374666b..c0484b6edc 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. --> - + @@ -385,7 +385,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/Hardware/Rpi4.html b/Hardware/Rpi4.html index 673f8a6b03..6675399792 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. --> - + @@ -300,7 +300,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Apr 11 17:41:25 2024 +1000 e9e628315e diff --git a/Hardware/VMware/index.html b/Hardware/VMware/index.html index b57d71fbef..29c95deb9b 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. --> - + @@ -311,7 +311,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Hardware/VMware/seL4vmw.py b/Hardware/VMware/seL4vmw.py index d3f12cb006..5e61cc2034 100644 --- a/Hardware/VMware/seL4vmw.py +++ b/Hardware/VMware/seL4vmw.py @@ -7,7 +7,6 @@ import os import sys -import subprocess import random import time @@ -15,7 +14,7 @@ vm_num = 4 vm_name = 'seL4vmw' -vm_gui = False if not "-gui" in sys.argv else True +vm_gui = False if "-gui" not in sys.argv else True vm_leave_on = False # Variables @@ -33,7 +32,7 @@ def xc(cmd, allow_fail=False): ret = os.system(cmd) - if ret != 0 and allow_fail == False: + if ret != 0 and not allow_fail: print("### ERROR: command %s failed. Exiting." % cmd) sys.exit(1) @@ -115,7 +114,7 @@ def main(): VMoff() # Copy the files into VMDK. - if vm_leave_on == False: + if not vm_leave_on: xc('rm -rf %s > /dev/null' % mnt_dir, True) xc('mkdir %s' % mnt_dir) xc('vmware-mount %s %s' % (vmdk_file, mnt_dir)) @@ -129,7 +128,6 @@ def main(): print("waiting 1 seconds for VM to boot...") time.sleep(1) - #xc('less -r +F %s' % vcom_file, True); xc('tail -F %s' % vcom_file, True) VMoff() diff --git a/Hardware/ZC706.html b/Hardware/ZC706.html index c29e8cd032..9159ff3d05 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. --> - + @@ -381,7 +381,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/Hardware/ZCU102.html b/Hardware/ZCU102.html index b659dbc6b2..135d7922df 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. --> - + @@ -329,7 +329,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Dec 19 12:55:38 2023 +0100 31df039362 diff --git a/Hardware/ariane.html b/Hardware/ariane.html index 2608859964..4f1826137d 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. --> - + @@ -231,7 +231,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Dec 19 12:55:38 2023 +0100 cb5305c9cb diff --git a/Hardware/arndale.html b/Hardware/arndale.html index 837cac7791..719a043e82 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. --> - + @@ -355,7 +355,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Dec 19 12:55:38 2023 +0100 8dba742073 diff --git a/Hardware/hifive.html b/Hardware/hifive.html index ceec94cdf9..e20b206ab5 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. --> - + @@ -225,7 +225,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Fri Sep 30 10:50:13 2022 +0200 092a5ad961 diff --git a/Hardware/imx8mm.html b/Hardware/imx8mm.html index c305f534e6..20581386e1 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. --> - + @@ -192,7 +192,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263 diff --git a/Hardware/imx8mq.html b/Hardware/imx8mq.html index c6bd3c7c16..00619184ff 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. --> - + @@ -192,7 +192,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/Hardware/index.html b/Hardware/index.html index b0a1f922d1..e69f484195 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. --> - + @@ -759,7 +759,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Wed Jul 3 09:12:33 2024 +1000 a74bc9bc51 diff --git a/Hardware/jetsontk1.html b/Hardware/jetsontk1.html index 017dbb7e6a..6b6b6947d1 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. --> - + @@ -315,7 +315,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Dec 19 12:55:38 2023 +0100 31df039362 diff --git a/Hardware/jetsontx1.html b/Hardware/jetsontx1.html index 44838fe0dc..c1d865d529 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. --> - + @@ -317,7 +317,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Dec 19 12:55:38 2023 +0100 31df039362 diff --git a/Hardware/odroidx.html b/Hardware/odroidx.html index 4c49726a1e..6c8a6403e8 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. --> - + @@ -305,7 +305,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/Hardware/polarfire.html b/Hardware/polarfire.html index 91b81620bb..b5710a656d 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. --> - + @@ -276,7 +276,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Sun Nov 6 18:33:54 2022 +1100 a46c148f47 diff --git a/Hardware/rocketchip-zcu102.html b/Hardware/rocketchip-zcu102.html index 753b2943ac..9442f2eb45 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. --> - + @@ -346,7 +346,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Wed Feb 22 09:35:20 2023 +1100 517f592877 diff --git a/Hardware/rocketchip.html b/Hardware/rocketchip.html index 581e1f16f7..2634943841 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. --> - + @@ -213,7 +213,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue May 31 18:02:19 2022 +1000 5cd1dab27b diff --git a/Hardware/rockpro64.html b/Hardware/rockpro64.html index 9a26438848..9fe8538b0f 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. --> - + @@ -304,7 +304,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/Hardware/sabreLite.html b/Hardware/sabreLite.html index 98d6c31f99..698a5c3278 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. --> - + @@ -394,7 +394,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Sep 14 10:24:17 2023 +0200 a83ee45263 diff --git a/Hardware/spike.html b/Hardware/spike.html index ab97b37d29..4b98c464d4 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. --> - + @@ -232,7 +232,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue May 31 18:02:19 2022 +1000 5cd1dab27b diff --git a/Hardware/ultra96v2.html b/Hardware/ultra96v2.html index ee68ad48b6..7c3d54e16f 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. --> - + @@ -206,7 +206,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Dec 19 12:55:38 2023 +0100 31df039362 diff --git a/MaintainedRepositories.html b/MaintainedRepositories.html index 5dbd428177..5b7447e233 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. --> - + @@ -375,7 +375,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/SuggestedProjects.html b/SuggestedProjects.html index fdb675e067..ed82101cf8 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. --> - + @@ -258,7 +258,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Fri Oct 1 14:55:48 2021 +1000 f22c913111 diff --git a/Tutorials/camkes-vm-crossvm.html b/Tutorials/camkes-vm-crossvm.html index effef0122a..00b0614cd0 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. --> - + @@ -761,7 +761,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/camkes-vm-linux.html b/Tutorials/camkes-vm-linux.html index de3252f123..f3f87eb27f 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. --> - + @@ -796,7 +796,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/capabilities.html b/Tutorials/capabilities.html index 2af0b73285..c5f3815689 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. --> - + @@ -643,7 +643,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/dynamic-1.html b/Tutorials/dynamic-1.html index 71bfe23f57..61ce8abcda 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. --> - + @@ -763,7 +763,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/dynamic-2.html b/Tutorials/dynamic-2.html index ccef2e2bdc..f96b4acef6 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. --> - + @@ -894,7 +894,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/dynamic-3.html b/Tutorials/dynamic-3.html index 1c2fff5a69..1727da210e 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. --> - + @@ -662,7 +662,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/dynamic-4.html b/Tutorials/dynamic-4.html index 02eec06620..9e38e35054 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. --> - + @@ -461,7 +461,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/fault-handlers.html b/Tutorials/fault-handlers.html index 4da891cfa2..0ccd9bb6d7 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. --> - + @@ -621,7 +621,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/hello-camkes-0.html b/Tutorials/hello-camkes-0.html index 444b934ba8..816de66b7c 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. --> - + @@ -486,7 +486,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/hello-camkes-1.html b/Tutorials/hello-camkes-1.html index 2c786e241e..c662015250 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. --> - + @@ -538,7 +538,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/hello-camkes-2.html b/Tutorials/hello-camkes-2.html index 70839d9480..27ce4b7554 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. --> - + @@ -414,7 +414,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/hello-camkes-timer.html b/Tutorials/hello-camkes-timer.html index e5f8443c2f..751a2b6684 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. --> - + @@ -544,7 +544,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/hello-world.html b/Tutorials/hello-world.html index deccf051c1..8022fd614b 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. --> - + @@ -461,7 +461,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/index.html b/Tutorials/index.html index 9dfec9dc12..a721c82727 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. --> - + @@ -627,7 +627,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Jul 17 11:30:19 2023 +0700 d16ca63556 diff --git a/Tutorials/interrupts.html b/Tutorials/interrupts.html index 0552e2ab94..ba49d9b836 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. --> - + @@ -444,7 +444,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/ipc.html b/Tutorials/ipc.html index f2e5f94aa0..1456800f31 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. --> - + @@ -583,7 +583,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/mapping.html b/Tutorials/mapping.html index 23d4f65de0..249508d967 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. --> - + @@ -543,7 +543,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/mcs.html b/Tutorials/mcs.html index 165054cf0d..2dab6d99dc 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. --> - + @@ -679,7 +679,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/notifications.html b/Tutorials/notifications.html index a076b95f20..121c184632 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. --> - + @@ -461,7 +461,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/threads.html b/Tutorials/threads.html index eddc2dabc0..1192c949d4 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. --> - + @@ -695,7 +695,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/Tutorials/untyped.html b/Tutorials/untyped.html index 67b418b8e0..060d3267f8 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. --> - + @@ -606,7 +606,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/assets/css/bootstrap.css.map b/assets/css/bootstrap.css.map index 0c6578eb79..9dee789cb9 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-20240711-3985-1j4nm9m/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_responsive-utilities.scss" ], "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 6104152df7..734e63c432 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-20240711-3985-1j4nm9m/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20240711-3985-1j4nm9m/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20240712-4026-2bsl44/_sass/bootstrap/_responsive-utilities.scss" ], "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 643458d01d..857ef46328 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. --> - + @@ -187,7 +187,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Jan 29 09:18:28 2024 +0100 258381c245 diff --git a/processes/code-review.html b/processes/code-review.html index ed2f16f849..e47648b8c6 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. --> - + @@ -446,7 +446,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Wed Jul 28 11:02:39 2021 +1000 4e9d4ab1f5 diff --git a/processes/conduct.html b/processes/conduct.html index a1b6a7ecae..d6f80164ff 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. --> - + @@ -297,7 +297,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Wed Mar 23 12:19:26 2022 +1100 f160c38c73 diff --git a/processes/contributing.html b/processes/contributing.html index 19fdefe48e..d8472c0e79 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. --> - + @@ -317,7 +317,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/processes/docs-contributing.html b/processes/docs-contributing.html index 08ef60215f..5541cd3a65 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. --> - + @@ -261,7 +261,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Wed Mar 23 12:37:08 2022 +1100 3bcc34568c diff --git a/processes/emails.html b/processes/emails.html index cb5f93e354..a3a5703ec7 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. --> - + @@ -265,7 +265,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Wed Mar 23 12:19:26 2022 +1100 f160c38c73 diff --git a/processes/git-conventions.html b/processes/git-conventions.html index da6fe80443..408054775f 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. --> - + @@ -309,7 +309,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Sat Jan 8 09:23:51 2022 +1100 12bd2f5a6d diff --git a/processes/index.html b/processes/index.html index 3203c9589c..e78e7d4702 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. --> - + @@ -410,7 +410,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Jun 27 10:18:23 2024 -0400 95a7b109d3 diff --git a/processes/irc-channel.html b/processes/irc-channel.html index f4c69cfd53..3e3c25fa5a 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. --> - + @@ -168,7 +168,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/processes/licenses.html b/processes/licenses.html index 93e0f4a150..9b7ed0ae3a 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. --> - + @@ -274,7 +274,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Jan 12 11:07:34 2023 +1100 bf46bb9105 diff --git a/processes/release-process.html b/processes/release-process.html index 6e1d341659..507ba16597 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. --> - + @@ -423,7 +423,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Jul 9 09:26:07 2024 +1000 0484d72e89 diff --git a/processes/rfc-process.html b/processes/rfc-process.html index 29572a4802..3a7bd1415c 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. --> - + @@ -277,7 +277,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Jun 27 10:18:23 2024 -0400 95a7b109d3 diff --git a/processes/roles.html b/processes/roles.html index cc84dc313f..7cd38d3328 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. --> - + @@ -258,7 +258,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Aug 31 17:23:26 2023 +0100 6eb462f624 diff --git a/processes/style-guide.html b/processes/style-guide.html index a763da55de..0c3d356bb8 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. --> - + @@ -559,7 +559,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Sun Apr 28 12:05:07 2024 +1000 a15224327a diff --git a/processes/test-status.html b/processes/test-status.html index c76a9e224e..4d1dadbc3a 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. --> - + @@ -560,7 +560,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Feb 29 10:41:42 2024 +0100 f8b92b6673 diff --git a/processes/websites.html b/processes/websites.html index 0b88f320e3..069deca644 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. --> - + @@ -259,7 +259,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Jun 27 10:18:23 2024 -0400 95a7b109d3 diff --git a/projects/available-user-components.html b/projects/available-user-components.html index 60c912c3db..c70fae9fb5 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. --> - + @@ -1433,7 +1433,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/buildsystem/host-dependencies.html b/projects/buildsystem/host-dependencies.html index f3ad15e330..a20c25c81f 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. --> - + @@ -792,7 +792,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/buildsystem/incorporating.html b/projects/buildsystem/incorporating.html index 0343fd7b2f..d481b15ef9 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. --> - + @@ -661,7 +661,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 8 11:45:32 2021 +1100 7936038ee0 diff --git a/projects/buildsystem/index.html b/projects/buildsystem/index.html index a7061bbc73..14f2f38b68 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. --> - + @@ -481,7 +481,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/buildsystem/old/index.html b/projects/buildsystem/old/index.html index c75f2f913a..26ddf04f8a 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. --> - + @@ -949,7 +949,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/buildsystem/repo-cheatsheet.html b/projects/buildsystem/repo-cheatsheet.html index c0a5c6349c..d7a85a8414 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. --> - + @@ -671,7 +671,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 0469eefc77 diff --git a/projects/buildsystem/standalone.html b/projects/buildsystem/standalone.html index d9312ff698..be907c13d8 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. --> - + @@ -539,7 +539,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Jul 2 12:58:52 2024 +1000 d66da26e94 diff --git a/projects/buildsystem/using.html b/projects/buildsystem/using.html index f689e0bd2c..a39a2c40b8 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. --> - + @@ -661,7 +661,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/camkes-vm/centos.html b/projects/camkes-vm/centos.html index 499a5014b1..ad53b5ddb6 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. --> - + @@ -499,7 +499,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/camkes-vm/index.html b/projects/camkes-vm/index.html index 1791109774..e006deff33 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. --> - + @@ -1137,7 +1137,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Mar 24 14:19:51 2022 +1100 461e5e0896 diff --git a/projects/camkes-vm/zmq-samples.html b/projects/camkes-vm/zmq-samples.html index 4ff193e440..ccd9dfa4bd 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. --> - + @@ -700,7 +700,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/camkes/cli.html b/projects/camkes/cli.html index dbffd2f07a..7880913c4b 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. --> - + @@ -608,7 +608,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/camkes/differences.html b/projects/camkes/differences.html index 681709f176..12194d83c6 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. --> - + @@ -812,7 +812,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/camkes/index.html b/projects/camkes/index.html index 431a5c0e17..93147671e0 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. --> - + @@ -657,7 +657,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/camkes/internals.html b/projects/camkes/internals.html index d4d00a82d4..1990b6e944 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. --> - + @@ -820,7 +820,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Mar 9 13:04:54 2021 +1100 6eb8c7ffa9 diff --git a/projects/camkes/manual.html b/projects/camkes/manual.html index dbd9f92033..949caa65f8 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. --> - + @@ -4259,7 +4259,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/camkes/next.html b/projects/camkes/next.html index 1c25918ac8..4af255f96c 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. --> - + @@ -666,7 +666,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/camkes/seL4SharedDataWithCaps.html b/projects/camkes/seL4SharedDataWithCaps.html index 1021dc5fd4..db4fa3f5a0 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. --> - + @@ -604,7 +604,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 8 11:45:32 2021 +1100 7936038ee0 diff --git a/projects/camkes/status.html b/projects/camkes/status.html index d0d57eb122..2fa277b3cf 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. --> - + @@ -1547,7 +1547,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/projects/camkes/terminology.html b/projects/camkes/terminology.html index 25dfa3164f..f742ca6e60 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. --> - + @@ -843,7 +843,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/camkes/visual-camkes/index.html b/projects/camkes/visual-camkes/index.html index 55f92d9464..7403058c89 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. --> - + @@ -867,7 +867,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Mar 9 13:04:50 2021 +1100 0517ff9e8b diff --git a/projects/capdl/c-loader-app.html b/projects/capdl/c-loader-app.html index 031747a35b..c7ea25953b 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. --> - + @@ -477,7 +477,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/capdl/cdl-utils.html b/projects/capdl/cdl-utils.html index a68f957b24..6a71a9ecac 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. --> - + @@ -463,7 +463,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/capdl/index.html b/projects/capdl/index.html index 5ee3277085..5fa69e283f 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. --> - + @@ -534,7 +534,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/capdl/object-sizes.html b/projects/capdl/object-sizes.html index fc5b8387ba..1d0a28b0cc 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. --> - + @@ -455,7 +455,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/capdl/python-tool.html b/projects/capdl/python-tool.html index dece799268..5261646ac6 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. --> - + @@ -458,7 +458,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/capdl/translator.html b/projects/capdl/translator.html index 82ca4a837c..7d9de1e61c 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. --> - + @@ -504,7 +504,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/dockerfiles/index.html b/projects/dockerfiles/index.html index 7a83998f45..e814500cf6 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. --> - + @@ -499,7 +499,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Jan 4 17:23:26 2024 +1300 21a38d84cc diff --git a/projects/docsite/index.html b/projects/docsite/index.html index 6094eefc86..9de55a5802 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. --> - + @@ -551,7 +551,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/driver_framework/AddressingOtherDevices.html b/projects/driver_framework/AddressingOtherDevices.html index 7e987915bf..e101fc5953 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. --> - + @@ -440,7 +440,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/driver_framework/ChildEnumeration.html b/projects/driver_framework/ChildEnumeration.html index 4b732dc857..0c80e1d8af 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. --> - + @@ -612,7 +612,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/driver_framework/DriverManagement.html b/projects/driver_framework/DriverManagement.html index a013e094de..3fd794407b 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. --> - + @@ -539,7 +539,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/elfloader/index.html b/projects/elfloader/index.html index 2aad6605be..b558c1491b 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. --> - + @@ -581,7 +581,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/hardware_hacks/index.html b/projects/hardware_hacks/index.html index 95e7c577dd..41d99c6353 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. --> - + @@ -421,7 +421,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/hardware_hacks/level-converter/index.html b/projects/hardware_hacks/level-converter/index.html index ead201ad41..e35902f12e 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. --> - + @@ -414,7 +414,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/index.html b/projects/index.html index 24065217e8..ee03ee58dd 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. --> - + @@ -1009,7 +1009,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/projects/l4v/index.html b/projects/l4v/index.html index b068ae3c3c..2424452e20 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. --> - + @@ -434,7 +434,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Wed Aug 25 12:10:59 2021 +1000 3923c8361b diff --git a/projects/microkit/index.html b/projects/microkit/index.html index 3f7a854dd0..4804b7fcc6 100644 --- a/projects/microkit/index.html +++ b/projects/microkit/index.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + @@ -489,7 +489,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Oct 23 14:16:33 2023 +1100 827111ddcf diff --git a/projects/roadmap.html b/projects/roadmap.html index dbdcc109dd..4f12067374 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. --> - + @@ -377,7 +377,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 318c724114 diff --git a/projects/rust/index.html b/projects/rust/index.html index b9c8c7a2f9..6c16c00900 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. --> - + @@ -388,7 +388,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Fri Jun 21 20:14:54 2024 +1000 fdb96bc445 diff --git a/projects/sel4-tutorials/benchmarking-guide.html b/projects/sel4-tutorials/benchmarking-guide.html index 077ba4bf3e..83a72ebad3 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. --> - + @@ -790,7 +790,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/sel4-tutorials/debugging-guide.html b/projects/sel4-tutorials/debugging-guide.html index 9cc55ed0b8..638efaf6f5 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. --> - + @@ -694,7 +694,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Mar 9 13:04:50 2021 +1100 0517ff9e8b diff --git a/projects/sel4-tutorials/debugging-userspace.html b/projects/sel4-tutorials/debugging-userspace.html index 5c6b2ac7dd..d05e393deb 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. --> - + @@ -487,7 +487,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/sel4/api-doc.html b/projects/sel4/api-doc.html index 3b521d64cf..29f6afa528 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. --> - + @@ -9568,7 +9568,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/sel4/documentation.html b/projects/sel4/documentation.html index dbcfed6104..92c53f0aad 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. --> - + @@ -608,7 +608,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Fri May 19 07:09:06 2023 +1000 6715421146 diff --git a/projects/sel4/frequently-asked-questions.html b/projects/sel4/frequently-asked-questions.html index 4bce20c1ba..1779d7f2d4 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. --> - + @@ -1282,7 +1282,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Aug 17 09:12:44 2023 +0100 c3d8a2e42c diff --git a/projects/sel4/index.html b/projects/sel4/index.html index bc4be5096b..c02f831c58 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. --> - + @@ -748,7 +748,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/sel4/kernel-contribution.html b/projects/sel4/kernel-contribution.html index 5b6e80231d..2178bfcf73 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. --> - + @@ -866,7 +866,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Mar 26 11:20:38 2024 +0100 716f56bda5 diff --git a/projects/sel4/manual-api-generation.html b/projects/sel4/manual-api-generation.html index 55856fe387..0647952c95 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. --> - + @@ -886,7 +886,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Wed Mar 23 08:57:48 2022 +1100 ddb17ed2be diff --git a/projects/sel4/platf-owner.html b/projects/sel4/platf-owner.html index a9dc40af60..772394a2ea 100644 --- a/projects/sel4/platf-owner.html +++ b/projects/sel4/platf-owner.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + @@ -699,7 +699,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8 diff --git a/projects/sel4/porting.html b/projects/sel4/porting.html index 39f3c26018..73d0ab0c48 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. --> - + @@ -852,7 +852,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Mar 26 09:35:10 2024 +0100 58fc2e87fc diff --git a/projects/sel4/status.html b/projects/sel4/status.html index 8e3840a1c8..927284747f 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. --> - + @@ -1982,7 +1982,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/projects/sel4/verified-configurations.html b/projects/sel4/verified-configurations.html index 78b01d078d..56b8ad9b7f 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. --> - + @@ -925,7 +925,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Fri Mar 29 17:22:39 2024 -0400 e06f0ae5ad diff --git a/projects/sel4_tools/index.html b/projects/sel4_tools/index.html index 2a3f0f67b5..fe8e0cdfc7 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. --> - + @@ -442,7 +442,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/sel4bench/index.html b/projects/sel4bench/index.html index 5693aaf1f0..b932de5c8c 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. --> - + @@ -532,7 +532,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/sel4bench/status.html b/projects/sel4bench/status.html index a799c483d3..36a6c87905 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. --> - + @@ -651,7 +651,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/projects/sel4runtime/index.html b/projects/sel4runtime/index.html index be13d3f7e1..7ba0d596d6 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. --> - + @@ -550,7 +550,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/sel4test/index.html b/projects/sel4test/index.html index 98eec3da75..c263b14cec 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. --> - + @@ -568,7 +568,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47 diff --git a/projects/sel4test/status.html b/projects/sel4test/status.html index e0282caaf2..1682bd89c5 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. --> - + @@ -629,7 +629,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/projects/sel4webserver/index.html b/projects/sel4webserver/index.html index 7a440ce509..36cadbaf3b 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. --> - + @@ -712,7 +712,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/user_libs/index.html b/projects/user_libs/index.html index 558fca141e..c56c022b4d 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. --> - + @@ -464,7 +464,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 8 11:45:32 2021 +1100 7936038ee0 diff --git a/projects/user_libs/status.html b/projects/user_libs/status.html index 46665d501c..f27c431afa 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. --> - + @@ -1600,7 +1600,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html index 29f94b6199..00ca40677e 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. --> - + @@ -485,7 +485,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_boot.html b/projects/virtualization/docs/api/libsel4vm_boot.html index c1767fb3ec..c09f0b1e56 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. --> - + @@ -510,7 +510,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html b/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html index a9bb235375..0246993379 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. --> - + @@ -580,7 +580,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_iospace.html b/projects/virtualization/docs/api/libsel4vm_guest_iospace.html index 0746999cb8..1f9f2ab00e 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. --> - + @@ -461,7 +461,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html b/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html index 79fcb80c7b..7528ffd234 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. --> - + @@ -531,7 +531,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_memory.html b/projects/virtualization/docs/api/libsel4vm_guest_memory.html index 7514a57b9f..dda4987cc0 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. --> - + @@ -639,7 +639,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html b/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html index cd0c325726..0d3aa69ffc 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. --> - + @@ -463,7 +463,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_ram.html b/projects/virtualization/docs/api/libsel4vm_guest_ram.html index 3f0b7691dd..faeef58d34 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. --> - + @@ -656,7 +656,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html b/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html index df08ca3148..975dac58ba 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. --> - + @@ -656,7 +656,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_guest_vm.html index 7e3de4b554..f0e853e01e 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. --> - + @@ -680,7 +680,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html b/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html index b62da38183..4b3c24772e 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. --> - + @@ -592,7 +592,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html b/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html index 5669c89655..6605744fb8 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. --> - + @@ -580,7 +580,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html index 5990e82511..b3d94220ed 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. --> - + @@ -477,7 +477,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_x86_ioports.html b/projects/virtualization/docs/api/libsel4vm_x86_ioports.html index 9d7c1210ab..cf43567288 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. --> - + @@ -509,7 +509,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html b/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html index fdc31ecf10..55a69513e3 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. --> - + @@ -463,7 +463,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html index 9110044a2a..641f688581 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. --> - + @@ -474,7 +474,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: 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 6872bea4b6..9e4e071a40 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. --> - + @@ -487,7 +487,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: 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 52ad341d5f..3828e5ee1c 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. --> - + @@ -487,7 +487,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html index cf7a17f3ed..3c14970a40 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. --> - + @@ -547,7 +547,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: 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 8d6e5298b1..602b787d1d 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. --> - + @@ -484,7 +484,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: 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 4c22b301e9..e459e7923a 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. --> - + @@ -460,7 +460,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html index 91c5e93cb9..9fc95b81e3 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. --> - + @@ -487,7 +487,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html index 31b228a13f..d4d1bfef43 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. --> - + @@ -488,7 +488,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html index 6eb34efcfb..1f46e347db 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. --> - + @@ -533,7 +533,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html index e11d40d0a4..72d6c71185 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. --> - + @@ -547,7 +547,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html index 43a66921bd..46457620db 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. --> - + @@ -506,7 +506,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html index 8d901cf9e4..311261f37e 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. --> - + @@ -530,7 +530,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html index 82083fd5f2..3ad63207cc 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. --> - + @@ -582,7 +582,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html index 5481761e31..cbbe5acd3f 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. --> - + @@ -460,7 +460,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html index a60ff51503..801640c899 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. --> - + @@ -592,7 +592,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html index 2447955de5..35cb8382c6 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. --> - + @@ -588,7 +588,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html index a1c0abf033..a3a2db524b 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. --> - + @@ -782,7 +782,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html index 57269e3fd3..3f5dfd4064 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. --> - + @@ -493,7 +493,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html index 2b15260ce0..03f1642357 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. --> - + @@ -515,7 +515,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html index 4b9ddbac5d..73ad2820db 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. --> - + @@ -459,7 +459,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: 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 42ace1f4e0..09b4bc898d 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. --> - + @@ -489,7 +489,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: 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 43b5321d97..bcdb9320ea 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. --> - + @@ -507,7 +507,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: diff --git a/projects/virtualization/docs/index.html b/projects/virtualization/docs/index.html index c9dc37daa1..544fead90d 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. --> - + @@ -477,7 +477,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/virtualization/index.html b/projects/virtualization/index.html index 0f564a7936..22cb44e8e2 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. --> - + @@ -419,7 +419,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Thu Mar 24 14:19:51 2022 +1100 461e5e0896 diff --git a/projects/virtualization/libsel4vm.html b/projects/virtualization/libsel4vm.html index 42b065d43f..838e7d67ec 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. --> - + @@ -487,7 +487,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/projects/virtualization/libsel4vmmplatsupport.html b/projects/virtualization/libsel4vmmplatsupport.html index c80e7c7d7e..3ac5b96bcd 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. --> - + @@ -513,7 +513,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/releases/camkes.html b/releases/camkes.html index 899b6ec997..bda15d2ce0 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. --> - + @@ -193,7 +193,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/releases/camkes/camkes-2.0.0.html b/releases/camkes/camkes-2.0.0.html index c07135adf9..474deec56d 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. --> - + @@ -404,7 +404,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-2.1.0.html b/releases/camkes/camkes-2.1.0.html index 891eb19d90..ae19ae7bbd 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. --> - + @@ -436,7 +436,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-2.2.0.html b/releases/camkes/camkes-2.2.0.html index ccefc516e4..30603b771a 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. --> - + @@ -416,7 +416,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-2.3.0.html b/releases/camkes/camkes-2.3.0.html index 982b33041d..c2a6388eca 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. --> - + @@ -412,7 +412,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-2.3.1.html b/releases/camkes/camkes-2.3.1.html index f0215fb92f..76c5d3e1f5 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. --> - + @@ -404,7 +404,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-3.0.0.html b/releases/camkes/camkes-3.0.0.html index b24f1f122a..7ed220438d 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. --> - + @@ -540,7 +540,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-3.1.0.html b/releases/camkes/camkes-3.1.0.html index fceacb7539..2b4f7d50e5 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. --> - + @@ -443,7 +443,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-3.10.0.html b/releases/camkes/camkes-3.10.0.html index c5e09b88f6..6c643db7a8 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. --> - + @@ -443,7 +443,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-3.11.0.html b/releases/camkes/camkes-3.11.0.html index 0208ac8618..9f6baf9e9b 100644 --- a/releases/camkes/camkes-3.11.0.html +++ b/releases/camkes/camkes-3.11.0.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + @@ -483,7 +483,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-3.2.0.html b/releases/camkes/camkes-3.2.0.html index 1d00932d87..6bed3d77d7 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. --> - + @@ -486,7 +486,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-3.3.0.html b/releases/camkes/camkes-3.3.0.html index bed866834b..ae15f196d1 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. --> - + @@ -434,7 +434,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-3.4.0.html b/releases/camkes/camkes-3.4.0.html index d6a3ee5f1c..3b455334b9 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. --> - + @@ -417,7 +417,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-3.5.0.html b/releases/camkes/camkes-3.5.0.html index 51e5142ac2..a86c3bfb5e 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. --> - + @@ -427,7 +427,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-3.6.0.html b/releases/camkes/camkes-3.6.0.html index e224d3785c..327ffe0ba2 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. --> - + @@ -444,7 +444,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-3.7.0.html b/releases/camkes/camkes-3.7.0.html index 85114b552b..fd1c51847a 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. --> - + @@ -415,7 +415,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-3.8.0.html b/releases/camkes/camkes-3.8.0.html index 76c693ff45..77b187a298 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. --> - + @@ -466,7 +466,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/camkes/camkes-3.9.0.html b/releases/camkes/camkes-3.9.0.html index 015b2b618f..d99bfff452 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. --> - + @@ -548,7 +548,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/capdl/0.1.0.html b/releases/capdl/0.1.0.html index 56474cbe15..7987614251 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. --> - + @@ -353,7 +353,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/capdl/0.2.0.html b/releases/capdl/0.2.0.html index 3c46545ecf..476c37cad9 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. --> - + @@ -327,7 +327,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/capdl/0.2.1.html b/releases/capdl/0.2.1.html index ec7b55b5c5..7c80c84c9c 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. --> - + @@ -280,7 +280,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/capdl/0.3.0.html b/releases/capdl/0.3.0.html index a1767cfec2..aae7000140 100644 --- a/releases/capdl/0.3.0.html +++ b/releases/capdl/0.3.0.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + @@ -303,7 +303,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/microkit/1.3.0.html b/releases/microkit/1.3.0.html index ddddafa45f..f87941fd80 100644 --- a/releases/microkit/1.3.0.html +++ b/releases/microkit/1.3.0.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + @@ -367,7 +367,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4.html b/releases/sel4.html index 689f1d3a5e..6a66e60174 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. --> - + @@ -473,7 +473,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Tue Jan 19 10:29:50 2021 +1100 90e3da7d86 diff --git a/releases/sel4/0.0.1-rt-dev.html b/releases/sel4/0.0.1-rt-dev.html index 8576d6128c..c04f1d4866 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. --> - + @@ -580,7 +580,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/1.0.0-rt-dev.html b/releases/sel4/1.0.0-rt-dev.html index 32848bf1ec..7b9e5c12fe 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. --> - + @@ -648,7 +648,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/10.0.0.html b/releases/sel4/10.0.0.html index 53de2c96a9..39137bdecc 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. --> - + @@ -512,7 +512,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/10.1.0.html b/releases/sel4/10.1.0.html index 429ef14a30..52085c770b 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. --> - + @@ -516,7 +516,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/10.1.1-mcs.html b/releases/sel4/10.1.1-mcs.html index 2448389ad7..d811fe13c4 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. --> - + @@ -706,7 +706,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/10.1.1.html b/releases/sel4/10.1.1.html index cff7ed2d6b..6d789c54d7 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. --> - + @@ -497,7 +497,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/11.0.0.html b/releases/sel4/11.0.0.html index 0f85cec012..ddd91e9497 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. --> - + @@ -608,7 +608,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/12.0.0.html b/releases/sel4/12.0.0.html index 5e4d924cd0..9e61882e04 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. --> - + @@ -760,7 +760,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/12.1.0.html b/releases/sel4/12.1.0.html index 4275b1204d..62792e6634 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. --> - + @@ -636,7 +636,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/13.0.0.html b/releases/sel4/13.0.0.html index 1055fc447d..79844aeb58 100644 --- a/releases/sel4/13.0.0.html +++ b/releases/sel4/13.0.0.html @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --> - + @@ -775,7 +775,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/2.0.0.html b/releases/sel4/2.0.0.html index 63a7922416..c319901e03 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. --> - + @@ -631,7 +631,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/2.1.0.html b/releases/sel4/2.1.0.html index 7475b4a3c1..6b685f12e5 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. --> - + @@ -510,7 +510,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/3.0.0.html b/releases/sel4/3.0.0.html index 40e12548cb..da17c439b7 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. --> - + @@ -594,7 +594,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/3.0.1.html b/releases/sel4/3.0.1.html index 7854edc8f5..982d159111 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. --> - + @@ -497,7 +497,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/3.1.0.html b/releases/sel4/3.1.0.html index 5c12e12b5e..6ee20c9318 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. --> - + @@ -517,7 +517,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/3.2.0.html b/releases/sel4/3.2.0.html index 79039cb042..40557ee3c3 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. --> - + @@ -520,7 +520,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/4.0.0.html b/releases/sel4/4.0.0.html index caeb77b49d..4d4b66c706 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. --> - + @@ -569,7 +569,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/5.0.0.html b/releases/sel4/5.0.0.html index 25109ddc52..ceca0321db 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. --> - + @@ -530,7 +530,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/5.1.0.html b/releases/sel4/5.1.0.html index 9c47aef23b..e671450b60 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. --> - + @@ -510,7 +510,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/5.2.0-mcs.html b/releases/sel4/5.2.0-mcs.html index 937facd7fd..5a2ce497e2 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. --> - + @@ -710,7 +710,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/5.2.0.html b/releases/sel4/5.2.0.html index 915cc916ec..1073ff5a60 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. --> - + @@ -511,7 +511,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/6.0.0.html b/releases/sel4/6.0.0.html index 7a951c1eb8..4d0ebb6013 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. --> - + @@ -552,7 +552,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/7.0.0.html b/releases/sel4/7.0.0.html index e0e6a6400a..cb6286fcb5 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. --> - + @@ -542,7 +542,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/8.0.0.html b/releases/sel4/8.0.0.html index fee643402e..d4a84ebbf0 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. --> - + @@ -520,7 +520,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/9.0.0-mcs.html b/releases/sel4/9.0.0-mcs.html index 04ce812b3a..aaa98ea3e3 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. --> - + @@ -730,7 +730,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/9.0.0.html b/releases/sel4/9.0.0.html index 6c9d4dc5b4..95b10f6ba6 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. --> - + @@ -532,7 +532,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/releases/sel4/9.0.1.html b/releases/sel4/9.0.1.html index 2c9bc24cd1..dd39628ffc 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. --> - + @@ -506,7 +506,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/sitemap.html b/sitemap.html index ebbfd31dd6..479796ec95 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. --> - + @@ -929,7 +929,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/sitemap.xml b/sitemap.xml index 25a7a79710..9a27615826 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -2,259 +2,259 @@ https://docs.sel4.systems/releases/camkes/camkes-2.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.1.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.2.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.1.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.1.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.10.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.11.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.2.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.3.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.4.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.5.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.6.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.7.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.8.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.9.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/capdl/0.1.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/capdl/0.2.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/capdl/0.2.1.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/capdl/0.3.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/microkit/1.3.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/0.0.1-rt-dev.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/1.0.0-rt-dev.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/10.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/10.1.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/10.1.1-mcs.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/10.1.1.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/11.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/12.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/12.1.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/13.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/2.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/2.1.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/3.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/3.0.1.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/3.1.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/3.2.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/4.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/5.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/5.1.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/5.2.0-mcs.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/5.2.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/6.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/7.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/8.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/9.0.0-mcs.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/9.0.0.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/releases/sel4/9.0.1.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/projects/camkes/status.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/projects/sel4/status.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/projects/sel4bench/status.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/projects/sel4test/status.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/projects/user_libs/status.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/updates/buildsystem/11.0.x.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x-arm-old.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/updates/elfloader/11.0.x.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/updates/sel4-tutorials/camkes-3.8.x.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/updates/sel4bench/11.0.x.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/updates/sel4runtime/11.0.x.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/updates/sel4test/11.0.x.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/updates/sel4webserver/camkes-3.8.x.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/updates/user_libs/11.0.x.html -2024-07-11T05:59:11+00:00 +2024-07-12T01:24:00+00:00 https://docs.sel4.systems/projects/driver_framework/AddressingOtherDevices.html @@ -834,10 +834,10 @@ https://docs.sel4.systems/Hardware/CEI_TK1_SOM/CANBoard/canboard_v3.pdf -2024-07-11T05:57:55+00:00 +2024-07-12T01:22:36+00:00 https://docs.sel4.systems/Hardware/CEI_TK1_SOM/DaughterBoard/daughterboard_r3a_schematic.pdf -2024-07-11T05:57:55+00:00 +2024-07-12T01:22:36+00:00 diff --git a/updates/buildsystem.html b/updates/buildsystem.html index 2669653eda..6b8756c55c 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. --> - + @@ -239,7 +239,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/updates/buildsystem/11.0.x.html b/updates/buildsystem/11.0.x.html index a7e6357862..6ec44a0105 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. --> - + @@ -346,7 +346,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/updates/camkes-vm.html b/updates/camkes-vm.html index 2bb9e10e4d..2aaed9e04f 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. --> - + @@ -255,7 +255,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 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 01f1577aae..84fbb4aae8 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. --> - + @@ -369,7 +369,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/updates/camkes-vm/camkes-3.8.x.html b/updates/camkes-vm/camkes-3.8.x.html index e79e124de5..633a5fdd21 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. --> - + @@ -299,7 +299,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/updates/elfloader.html b/updates/elfloader.html index 34de62eecd..cfbf4b3fc2 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. --> - + @@ -232,7 +232,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/updates/elfloader/11.0.x.html b/updates/elfloader/11.0.x.html index 41f076c83e..3fea236327 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. --> - + @@ -335,7 +335,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/updates/sel4-tutorials.html b/updates/sel4-tutorials.html index 6d515f2b33..b03f3e6721 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. --> - + @@ -239,7 +239,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/updates/sel4-tutorials/camkes-3.8.x.html b/updates/sel4-tutorials/camkes-3.8.x.html index 2f9298fa30..bd119e4d27 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. --> - + @@ -289,7 +289,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/updates/sel4bench.html b/updates/sel4bench.html index ecb76fe39a..46119bf338 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. --> - + @@ -246,7 +246,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/updates/sel4bench/11.0.x.html b/updates/sel4bench/11.0.x.html index 60e97081f3..1fb309f130 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. --> - + @@ -302,7 +302,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/updates/sel4runtime.html b/updates/sel4runtime.html index 3fce53286a..606aee6664 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. --> - + @@ -232,7 +232,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/updates/sel4runtime/11.0.x.html b/updates/sel4runtime/11.0.x.html index 6090f7fa96..dbd697e465 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. --> - + @@ -282,7 +282,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/updates/sel4test.html b/updates/sel4test.html index e061125c04..4c54578ebf 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. --> - + @@ -246,7 +246,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/updates/sel4test/11.0.x.html b/updates/sel4test/11.0.x.html index 5f9a8fdd39..a560fdf5ea 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. --> - + @@ -337,7 +337,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/updates/sel4webserver.html b/updates/sel4webserver.html index e3662037e3..9d7d47aeac 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. --> - + @@ -239,7 +239,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/updates/sel4webserver/camkes-3.8.x.html b/updates/sel4webserver/camkes-3.8.x.html index 7d3331b957..83034746de 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. --> - + @@ -262,7 +262,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • diff --git a/updates/user_libs.html b/updates/user_libs.html index ddf7796573..c336643e7c 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. --> - + @@ -260,7 +260,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff
  • Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17 diff --git a/updates/user_libs/11.0.x.html b/updates/user_libs/11.0.x.html index e3edea0b69..dc3c48f743 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. --> - + @@ -619,7 +619,7 @@
  • - Site last updated: Thu Jul 11 15:57:31 2024 +1000 850646fd5b + Site last updated: Fri Jul 12 11:22:12 2024 +1000 e0d2878bff