From e9867a811e4d5117932387dc76c1a06895acfbbd Mon Sep 17 00:00:00 2001 From: CI Date: Fri, 11 Aug 2023 18:27:11 +0000 Subject: [PATCH] auto-deployed --- 404.html | 4 +- CMA34DBMC/index.html | 6 +- CommunityProjects.html | 6 +- GettingStarted.html | 6 +- Hardware/BeagleBoard.html | 6 +- Hardware/Beaglebone.html | 6 +- Hardware/CEI_TK1_SOM/CANBoard/index.html | 6 +- Hardware/CEI_TK1_SOM/DaughterBoard/index.html | 6 +- Hardware/CEI_TK1_SOM/L4TCan/index.html | 6 +- Hardware/CEI_TK1_SOM/LogicPro8/index.html | 6 +- Hardware/CEI_TK1_SOM/Tk1SomMods/index.html | 6 +- Hardware/CEI_TK1_SOM/index.html | 6 +- Hardware/GeneralARM.html | 6 +- Hardware/HiKey/index.html | 6 +- Hardware/IA32.html | 6 +- Hardware/IF6410.html | 6 +- Hardware/JetsonTX2.html | 6 +- Hardware/Kzm.html | 6 +- Hardware/MaaXBoard.html | 6 +- Hardware/OdroidC2.html | 6 +- Hardware/OdroidC4.html | 6 +- Hardware/OdroidXU.html | 6 +- Hardware/OdroidXU4.html | 6 +- Hardware/Rpi3.html | 6 +- Hardware/Rpi4.html | 6 +- Hardware/VMware/index.html | 6 +- Hardware/ZC706.html | 6 +- Hardware/ZCU102.html | 6 +- Hardware/ariane.html | 6 +- Hardware/arndale.html | 6 +- Hardware/hifive.html | 6 +- Hardware/imx8mm.html | 6 +- Hardware/imx8mq.html | 6 +- Hardware/index.html | 6 +- Hardware/jetsontk1.html | 6 +- Hardware/jetsontx1.html | 6 +- Hardware/odroidx.html | 6 +- Hardware/polarfire.html | 6 +- Hardware/rocketchip-zcu102.html | 6 +- Hardware/rocketchip.html | 6 +- Hardware/rockpro64.html | 6 +- Hardware/sabreLite.html | 6 +- Hardware/spike.html | 6 +- Hardware/ultra96v2.html | 6 +- MaintainedRepositories.html | 6 +- SuggestedProjects.html | 6 +- Tutorials/camkes-vm-crossvm.html | 6 +- Tutorials/camkes-vm-linux.html | 6 +- Tutorials/capabilities.html | 6 +- Tutorials/dynamic-1.html | 6 +- Tutorials/dynamic-2.html | 6 +- Tutorials/dynamic-3.html | 6 +- Tutorials/dynamic-4.html | 6 +- Tutorials/fault-handlers.html | 6 +- Tutorials/hello-camkes-0.html | 6 +- Tutorials/hello-camkes-1.html | 6 +- Tutorials/hello-camkes-2.html | 6 +- Tutorials/hello-camkes-timer.html | 6 +- Tutorials/hello-world.html | 6 +- Tutorials/index.html | 6 +- Tutorials/interrupts.html | 6 +- Tutorials/ipc.html | 6 +- Tutorials/mapping.html | 6 +- Tutorials/mcs.html | 6 +- Tutorials/notifications.html | 6 +- Tutorials/threads.html | 6 +- Tutorials/untyped.html | 6 +- assets/css/bootstrap.css.map | 142 +++++++++--------- assets/css/style.css.map | 142 +++++++++--------- index.html | 6 +- processes/code-review.html | 6 +- processes/conduct.html | 6 +- processes/contributing.html | 6 +- processes/docs-contributing.html | 6 +- processes/emails.html | 6 +- processes/git-conventions.html | 6 +- processes/index.html | 6 +- processes/irc-channel.html | 6 +- processes/licenses.html | 6 +- processes/release-process.html | 6 +- processes/rfc-process.html | 6 +- processes/roles.html | 7 +- processes/style-guide.html | 6 +- processes/test-status.html | 6 +- processes/websites.html | 6 +- projects/available-user-components.html | 6 +- projects/buildsystem/host-dependencies.html | 6 +- projects/buildsystem/incorporating.html | 6 +- projects/buildsystem/index.html | 6 +- projects/buildsystem/old/index.html | 6 +- projects/buildsystem/repo-cheatsheet.html | 6 +- projects/buildsystem/standalone.html | 6 +- projects/buildsystem/using.html | 6 +- projects/camkes-vm/centos.html | 6 +- projects/camkes-vm/index.html | 6 +- projects/camkes-vm/zmq-samples.html | 6 +- projects/camkes/cli.html | 6 +- projects/camkes/differences.html | 6 +- projects/camkes/index.html | 6 +- projects/camkes/internals.html | 6 +- projects/camkes/manual.html | 6 +- projects/camkes/next.html | 6 +- projects/camkes/seL4SharedDataWithCaps.html | 6 +- projects/camkes/status.html | 4 +- projects/camkes/terminology.html | 6 +- projects/camkes/visual-camkes/index.html | 6 +- projects/capdl/c-loader-app.html | 6 +- projects/capdl/cdl-utils.html | 6 +- projects/capdl/index.html | 6 +- projects/capdl/object-sizes.html | 6 +- projects/capdl/python-tool.html | 6 +- projects/capdl/translator.html | 6 +- projects/dockerfiles/index.html | 6 +- projects/docsite/index.html | 6 +- .../AddressingOtherDevices.html | 6 +- .../driver_framework/ChildEnumeration.html | 6 +- .../driver_framework/DriverManagement.html | 6 +- projects/elfloader/index.html | 6 +- projects/hardware_hacks/index.html | 6 +- .../hardware_hacks/level-converter/index.html | 6 +- projects/index.html | 4 +- projects/l4v/index.html | 6 +- projects/roadmap.html | 6 +- projects/rust/index.html | 6 +- .../sel4-tutorials/benchmarking-guide.html | 6 +- projects/sel4-tutorials/debugging-guide.html | 6 +- .../sel4-tutorials/debugging-userspace.html | 6 +- projects/sel4/api-doc.html | 6 +- projects/sel4/documentation.html | 6 +- projects/sel4/frequently-asked-questions.html | 6 +- projects/sel4/index.html | 6 +- projects/sel4/kernel-contribution.html | 6 +- projects/sel4/manual-api-generation.html | 6 +- projects/sel4/porting.html | 6 +- projects/sel4/status.html | 4 +- projects/sel4/verified-configurations.html | 6 +- projects/sel4_tools/index.html | 6 +- projects/sel4bench/index.html | 6 +- projects/sel4bench/status.html | 4 +- projects/sel4runtime/index.html | 6 +- projects/sel4test/index.html | 6 +- projects/sel4test/status.html | 4 +- projects/sel4webserver/index.html | 6 +- projects/user_libs/index.html | 6 +- 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 | 6 +- projects/virtualization/index.html | 6 +- projects/virtualization/libsel4vm.html | 6 +- .../virtualization/libsel4vmmplatsupport.html | 6 +- releases/camkes.html | 6 +- 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.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/sel4.html | 6 +- 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/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 | 6 +- sitemap.xml | 124 +++++++-------- updates/buildsystem.html | 6 +- updates/buildsystem/11.0.x.html | 4 +- updates/camkes-vm.html | 6 +- updates/camkes-vm/camkes-3.8.x-arm-old.html | 4 +- updates/camkes-vm/camkes-3.8.x.html | 4 +- updates/elfloader.html | 6 +- updates/elfloader/11.0.x.html | 4 +- updates/sel4-tutorials.html | 6 +- updates/sel4-tutorials/camkes-3.8.x.html | 4 +- updates/sel4bench.html | 6 +- updates/sel4bench/11.0.x.html | 4 +- updates/sel4runtime.html | 6 +- updates/sel4runtime/11.0.x.html | 4 +- updates/sel4test.html | 6 +- updates/sel4test/11.0.x.html | 4 +- updates/sel4webserver.html | 6 +- updates/sel4webserver/camkes-3.8.x.html | 4 +- updates/user_libs.html | 6 +- updates/user_libs/11.0.x.html | 4 +- 254 files changed, 859 insertions(+), 858 deletions(-) diff --git a/404.html b/404.html index 99a483d80c..ea463a0317 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. --> - + @@ -176,7 +176,7 @@

seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/CMA34DBMC/index.html b/CMA34DBMC/index.html index f34e089c22..194217ae08 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. --> - + @@ -203,10 +203,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/CommunityProjects.html b/CommunityProjects.html index 968e116c99..c4c7795864 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. --> - + @@ -320,10 +320,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/GettingStarted.html b/GettingStarted.html index 290777eae5..a36bbaa208 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. --> - + @@ -470,10 +470,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/BeagleBoard.html b/Hardware/BeagleBoard.html index fe6089892e..d8327d87cd 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. --> - + @@ -357,10 +357,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/Beaglebone.html b/Hardware/Beaglebone.html index a69255a3be..94400f9902 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. --> - + @@ -283,10 +283,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/CEI_TK1_SOM/CANBoard/index.html b/Hardware/CEI_TK1_SOM/CANBoard/index.html index b5cc0e5384..f537063db4 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. --> - + @@ -491,10 +491,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/CEI_TK1_SOM/DaughterBoard/index.html b/Hardware/CEI_TK1_SOM/DaughterBoard/index.html index a819b56c05..050e1bbf84 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. --> - + @@ -515,10 +515,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/CEI_TK1_SOM/L4TCan/index.html b/Hardware/CEI_TK1_SOM/L4TCan/index.html index 14468397d5..6407da115e 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. --> - + @@ -464,10 +464,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/CEI_TK1_SOM/LogicPro8/index.html b/Hardware/CEI_TK1_SOM/LogicPro8/index.html index 909bbd5d20..74eab14dc5 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. --> - + @@ -308,10 +308,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/CEI_TK1_SOM/Tk1SomMods/index.html b/Hardware/CEI_TK1_SOM/Tk1SomMods/index.html index 0f91154d93..c732a40f81 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. --> - + @@ -268,10 +268,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/CEI_TK1_SOM/index.html b/Hardware/CEI_TK1_SOM/index.html index 303eabfe98..6a6c7a8f2f 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. --> - + @@ -388,10 +388,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/GeneralARM.html b/Hardware/GeneralARM.html index ec71bc1a6d..d03c26c96d 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. --> - + @@ -261,10 +261,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/HiKey/index.html b/Hardware/HiKey/index.html index 32d10de805..b36061bb12 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. --> - + @@ -431,10 +431,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/IA32.html b/Hardware/IA32.html index 66fed94f47..3cbf05e3e5 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. --> - + @@ -277,10 +277,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/IF6410.html b/Hardware/IF6410.html index 5cd15e784a..03a2502a2f 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. --> - + @@ -241,10 +241,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/JetsonTX2.html b/Hardware/JetsonTX2.html index c7c24687e2..9ce3cc99a8 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. --> - + @@ -220,10 +220,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/Kzm.html b/Hardware/Kzm.html index 3980eb04a6..ffe582e9a0 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. --> - + @@ -190,10 +190,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/MaaXBoard.html b/Hardware/MaaXBoard.html index e492d84f14..816efcac1b 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. --> - + @@ -209,10 +209,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/OdroidC2.html b/Hardware/OdroidC2.html index de879c9553..86419c1dd4 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. --> - + @@ -234,10 +234,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/OdroidC4.html b/Hardware/OdroidC4.html index eacfb9c469..d16bffc45e 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. --> - + @@ -224,10 +224,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/OdroidXU.html b/Hardware/OdroidXU.html index c6931789c3..3c2d173956 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. --> - + @@ -228,10 +228,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/OdroidXU4.html b/Hardware/OdroidXU4.html index 0db011509c..a4febd7b00 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. --> - + @@ -206,10 +206,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/Rpi3.html b/Hardware/Rpi3.html index 1b976918a1..5a8532e609 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. --> - + @@ -401,10 +401,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/Rpi4.html b/Hardware/Rpi4.html index bceeb3d2b3..cd4ee17518 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. --> - + @@ -323,10 +323,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/VMware/index.html b/Hardware/VMware/index.html index e188430120..5fc4776f98 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. --> - + @@ -327,10 +327,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/ZC706.html b/Hardware/ZC706.html index 1d1993d024..e9800afc00 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. --> - + @@ -397,10 +397,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/ZCU102.html b/Hardware/ZCU102.html index cca8b99bf2..5c41e0ed32 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. --> - + @@ -345,10 +345,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/ariane.html b/Hardware/ariane.html index 89cd0398a6..13c19d59f6 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. --> - + @@ -247,10 +247,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/arndale.html b/Hardware/arndale.html index 8657ecef30..243459515d 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. --> - + @@ -371,10 +371,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/hifive.html b/Hardware/hifive.html index 9cba092650..cf7a7b3781 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. --> - + @@ -241,10 +241,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/imx8mm.html b/Hardware/imx8mm.html index 6cc0480855..07c9b66b50 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. --> - + @@ -208,10 +208,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/imx8mq.html b/Hardware/imx8mq.html index e87c28b494..da53f033ca 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. --> - + @@ -208,10 +208,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/index.html b/Hardware/index.html index 869ee9300b..61416d8d08 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. --> - + @@ -686,10 +686,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/jetsontk1.html b/Hardware/jetsontk1.html index c9c5013be5..9f3e1252a8 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. --> - + @@ -331,10 +331,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/jetsontx1.html b/Hardware/jetsontx1.html index a262e4a704..63e5b0e098 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. --> - + @@ -333,10 +333,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/odroidx.html b/Hardware/odroidx.html index 0d8e833f01..eb63ca4495 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. --> - + @@ -321,10 +321,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/polarfire.html b/Hardware/polarfire.html index 5399e62cdf..f45452061c 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. --> - + @@ -292,10 +292,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/rocketchip-zcu102.html b/Hardware/rocketchip-zcu102.html index 37eb34991e..8a194dd304 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. --> - + @@ -362,10 +362,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/rocketchip.html b/Hardware/rocketchip.html index 2b32aa0d14..fa3f100539 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. --> - + @@ -229,10 +229,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/rockpro64.html b/Hardware/rockpro64.html index 7ca7340196..5fa6fbef52 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. --> - + @@ -320,10 +320,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/sabreLite.html b/Hardware/sabreLite.html index ef36bf4fdf..512661ce55 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. --> - + @@ -410,10 +410,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/spike.html b/Hardware/spike.html index 1eb7e440ca..43494906ea 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. --> - + @@ -248,10 +248,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Hardware/ultra96v2.html b/Hardware/ultra96v2.html index 6c7d4bc0ef..a6339452ab 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. --> - + @@ -222,10 +222,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/MaintainedRepositories.html b/MaintainedRepositories.html index f72fce6520..5c4b2eb728 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. --> - + @@ -391,10 +391,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/SuggestedProjects.html b/SuggestedProjects.html index 9ef4a1bb0f..5f5a15a458 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. --> - + @@ -274,10 +274,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/camkes-vm-crossvm.html b/Tutorials/camkes-vm-crossvm.html index b567727acf..e6bcf57ef3 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. --> - + @@ -777,10 +777,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/camkes-vm-linux.html b/Tutorials/camkes-vm-linux.html index f117fa18e5..912e75faa4 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. --> - + @@ -812,10 +812,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/capabilities.html b/Tutorials/capabilities.html index e5b2ad695f..331e07ead2 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. --> - + @@ -659,10 +659,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/dynamic-1.html b/Tutorials/dynamic-1.html index d5b24ec959..58d902d363 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. --> - + @@ -779,10 +779,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/dynamic-2.html b/Tutorials/dynamic-2.html index a1f1a39523..b4486cbe11 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. --> - + @@ -910,10 +910,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/dynamic-3.html b/Tutorials/dynamic-3.html index 35e472a2e9..68362a86dd 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. --> - + @@ -678,10 +678,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/dynamic-4.html b/Tutorials/dynamic-4.html index a67cdcf80b..b76ae99b8b 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. --> - + @@ -477,10 +477,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/fault-handlers.html b/Tutorials/fault-handlers.html index e4acca2f72..f58099a103 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. --> - + @@ -637,10 +637,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/hello-camkes-0.html b/Tutorials/hello-camkes-0.html index 2f2dc5a534..a891f5d899 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. --> - + @@ -502,10 +502,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/hello-camkes-1.html b/Tutorials/hello-camkes-1.html index b9910df75b..9a2c702bee 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. --> - + @@ -554,10 +554,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/hello-camkes-2.html b/Tutorials/hello-camkes-2.html index c065de129a..5acfefb06b 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. --> - + @@ -430,10 +430,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/hello-camkes-timer.html b/Tutorials/hello-camkes-timer.html index b2357865a7..1b5b3c3f7b 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. --> - + @@ -560,10 +560,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/hello-world.html b/Tutorials/hello-world.html index 156f673b7b..0cb822bd1d 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. --> - + @@ -477,10 +477,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/index.html b/Tutorials/index.html index 77fb7a75a5..54f7f5c781 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. --> - + @@ -641,10 +641,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/interrupts.html b/Tutorials/interrupts.html index b3ae5f3505..2542884e15 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. --> - + @@ -460,10 +460,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/ipc.html b/Tutorials/ipc.html index 4dd5d70f64..059b9bbea2 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. --> - + @@ -599,10 +599,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/mapping.html b/Tutorials/mapping.html index 6008f8b285..09706b9848 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. --> - + @@ -559,10 +559,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/mcs.html b/Tutorials/mcs.html index f43812d3c4..25adf145ba 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. --> - + @@ -695,10 +695,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/notifications.html b/Tutorials/notifications.html index 3fc469d838..a6d5dc91a3 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. --> - + @@ -477,10 +477,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/threads.html b/Tutorials/threads.html index 494ab5e8c4..f40a15c4b9 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. --> - + @@ -711,10 +711,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/Tutorials/untyped.html b/Tutorials/untyped.html index e9d01eee6f..9d5603e9e3 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. --> - + @@ -622,10 +622,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/assets/css/bootstrap.css.map b/assets/css/bootstrap.css.map index 311234bf73..10ca37e561 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-20230811-4241-6gum8b/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_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 400137b8b4..88dc878825 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-20230811-4241-6gum8b/_sass/_bootstrap-sprockets.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/_bootstrap.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_variables.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_mixins.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_hide-text.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_opacity.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_image.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_reset-filter.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_resize.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_responsive-visibility.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_size.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_tab-focus.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_reset-text.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_text-emphasis.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_text-overflow.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_vendor-prefixes.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_nav-divider.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_progress-bar.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_table-row.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_background-variant.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_border-radius.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_gradients.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_clearfix.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_center-block.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_nav-vertical-align.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_grid-framework.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/mixins/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_normalize.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_print.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_glyphicons.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_scaffolding.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_type.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_code.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_grid.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_tables.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_forms.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_buttons.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_component-animations.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_dropdowns.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_button-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_input-groups.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_navs.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_navbar.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_breadcrumbs.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_pagination.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_pager.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_labels.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_badges.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_jumbotron.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_thumbnails.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_alerts.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_progress-bars.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_media.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_list-group.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_panels.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_responsive-embed.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_wells.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_close.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_modals.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_tooltip.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_popovers.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_carousel.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_utilities.scss", - "../../../../../tmp/jekyll-remote-theme-20230811-4241-6gum8b/_sass/bootstrap/_responsive-utilities.scss" + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/_bootstrap-sprockets.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/_bootstrap.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_variables.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_mixins.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_hide-text.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_opacity.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_image.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_reset-filter.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_resize.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_responsive-visibility.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_size.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_tab-focus.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_reset-text.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_text-emphasis.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_text-overflow.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_vendor-prefixes.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_nav-divider.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_progress-bar.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_table-row.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_background-variant.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_border-radius.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_gradients.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_clearfix.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_center-block.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_nav-vertical-align.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_grid-framework.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/mixins/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_normalize.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_print.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_glyphicons.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_scaffolding.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_type.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_code.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_grid.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_tables.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_forms.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_buttons.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_component-animations.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_dropdowns.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_button-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_input-groups.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_navs.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_navbar.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_breadcrumbs.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_pagination.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_pager.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_labels.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_badges.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_jumbotron.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_thumbnails.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_alerts.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_progress-bars.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_media.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_list-group.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_panels.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_responsive-embed.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_wells.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_close.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_modals.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_tooltip.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_popovers.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_carousel.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_sass/bootstrap/_utilities.scss", + "../../../../../tmp/jekyll-remote-theme-20230811-4285-h6yr9k/_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 2c40737633..2dae921b18 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. --> - + @@ -202,10 +202,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/code-review.html b/processes/code-review.html index f8f59704b9..dd00602a9c 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. --> - + @@ -462,10 +462,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/conduct.html b/processes/conduct.html index 8a9f7344fc..bd3ad454df 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. --> - + @@ -313,10 +313,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/contributing.html b/processes/contributing.html index ae68a862a7..304a312d35 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. --> - + @@ -333,10 +333,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/docs-contributing.html b/processes/docs-contributing.html index 79a0ae6bf7..df8aa7ff4b 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. --> - + @@ -277,10 +277,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/emails.html b/processes/emails.html index fa31aedaee..4b924cfc8b 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. --> - + @@ -281,10 +281,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/git-conventions.html b/processes/git-conventions.html index 60a947764e..8a2e00d10d 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. --> - + @@ -325,10 +325,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/index.html b/processes/index.html index 5996215ef6..aed0090796 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. --> - + @@ -421,10 +421,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/irc-channel.html b/processes/irc-channel.html index 02dbe8b157..d54ffb1dd9 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. --> - + @@ -184,10 +184,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/licenses.html b/processes/licenses.html index 9d69b9b930..7ad257856c 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. --> - + @@ -290,10 +290,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/release-process.html b/processes/release-process.html index c78943e764..542b2629f4 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. --> - + @@ -572,10 +572,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/rfc-process.html b/processes/rfc-process.html index 7b29c1297c..ab967ea500 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. --> - + @@ -568,10 +568,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/roles.html b/processes/roles.html index 9fa840e6e0..6b2fc98a56 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. --> - + @@ -179,6 +179,7 @@

    Roles

    @@ -275,10 +276,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/style-guide.html b/processes/style-guide.html index a4c718b2f5..4d687d8ad5 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. --> - + @@ -571,10 +571,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/test-status.html b/processes/test-status.html index 864fa79549..789f47c228 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. --> - + @@ -555,10 +555,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/processes/websites.html b/processes/websites.html index 13831e4512..f9440dff4e 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. --> - + @@ -274,10 +274,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/available-user-components.html b/projects/available-user-components.html index 9affecc8b0..f41a7f71b3 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. --> - + @@ -1449,10 +1449,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/buildsystem/host-dependencies.html b/projects/buildsystem/host-dependencies.html index 66e89a74ef..acfd3d8735 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. --> - + @@ -818,10 +818,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/buildsystem/incorporating.html b/projects/buildsystem/incorporating.html index ae61a507c1..34a4df5715 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. --> - + @@ -667,10 +667,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/buildsystem/index.html b/projects/buildsystem/index.html index 67998e2fa3..6d8ba98f79 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. --> - + @@ -487,10 +487,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/buildsystem/old/index.html b/projects/buildsystem/old/index.html index 3973dbd18b..6992478584 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. --> - + @@ -955,10 +955,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/buildsystem/repo-cheatsheet.html b/projects/buildsystem/repo-cheatsheet.html index 159840d25d..b74817da30 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. --> - + @@ -677,10 +677,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/buildsystem/standalone.html b/projects/buildsystem/standalone.html index 1900951167..2f006129ac 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. --> - + @@ -521,10 +521,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/buildsystem/using.html b/projects/buildsystem/using.html index 49f01e36c0..1c55c48d8e 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. --> - + @@ -667,10 +667,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/camkes-vm/centos.html b/projects/camkes-vm/centos.html index 2ca32da4ce..6d5b3b3616 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. --> - + @@ -505,10 +505,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/camkes-vm/index.html b/projects/camkes-vm/index.html index f5f9cc240e..541d61d476 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. --> - + @@ -1085,10 +1085,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/camkes-vm/zmq-samples.html b/projects/camkes-vm/zmq-samples.html index 26f363e98b..5f51f76c1b 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. --> - + @@ -706,10 +706,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/camkes/cli.html b/projects/camkes/cli.html index ffa71f8425..d8bfc15d89 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. --> - + @@ -607,10 +607,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/camkes/differences.html b/projects/camkes/differences.html index 527874312f..9301c1f056 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. --> - + @@ -811,10 +811,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/camkes/index.html b/projects/camkes/index.html index 9a3c3c756d..f71afbae67 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. --> - + @@ -656,10 +656,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/camkes/internals.html b/projects/camkes/internals.html index bb735a6b17..7e6d1a7580 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. --> - + @@ -819,10 +819,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/camkes/manual.html b/projects/camkes/manual.html index d5da085b1f..38eb925f5e 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. --> - + @@ -4258,10 +4258,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/camkes/next.html b/projects/camkes/next.html index 34a91f4f3c..47ae54f0a1 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. --> - + @@ -665,10 +665,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/camkes/seL4SharedDataWithCaps.html b/projects/camkes/seL4SharedDataWithCaps.html index 5ce97c192a..50d8fee4c3 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. --> - + @@ -603,10 +603,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/camkes/status.html b/projects/camkes/status.html index 5d3faa2558..18f6e17625 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. --> - + @@ -1546,7 +1546,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/camkes/terminology.html b/projects/camkes/terminology.html index 469532f52a..e9d98a3fb9 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. --> - + @@ -842,10 +842,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/camkes/visual-camkes/index.html b/projects/camkes/visual-camkes/index.html index 95fa408f9b..0e719ce335 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. --> - + @@ -866,10 +866,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/capdl/c-loader-app.html b/projects/capdl/c-loader-app.html index 960ec6e8f6..55f663f712 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. --> - + @@ -476,10 +476,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/capdl/cdl-utils.html b/projects/capdl/cdl-utils.html index 7ad4af42a1..71cd2e2434 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. --> - + @@ -462,10 +462,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/capdl/index.html b/projects/capdl/index.html index a6d703ff70..603927051e 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. --> - + @@ -533,10 +533,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/capdl/object-sizes.html b/projects/capdl/object-sizes.html index 6b8d35c31b..e0b8ce9019 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. --> - + @@ -454,10 +454,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/capdl/python-tool.html b/projects/capdl/python-tool.html index 4698d57a4e..924e84fda8 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. --> - + @@ -457,10 +457,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/capdl/translator.html b/projects/capdl/translator.html index 57dee61868..aa57d7281d 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. --> - + @@ -503,10 +503,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/dockerfiles/index.html b/projects/dockerfiles/index.html index b78fe02da0..9aee97c860 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. --> - + @@ -503,10 +503,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/docsite/index.html b/projects/docsite/index.html index 9214a1e35f..dd764607cc 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. --> - + @@ -499,10 +499,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/driver_framework/AddressingOtherDevices.html b/projects/driver_framework/AddressingOtherDevices.html index 5bc50121c7..b7e41867d7 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. --> - + @@ -446,10 +446,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/driver_framework/ChildEnumeration.html b/projects/driver_framework/ChildEnumeration.html index eb92cc6532..2f7cf37a3f 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. --> - + @@ -618,10 +618,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/driver_framework/DriverManagement.html b/projects/driver_framework/DriverManagement.html index 0033c01365..c3b36a2cbc 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. --> - + @@ -545,10 +545,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/elfloader/index.html b/projects/elfloader/index.html index 226b37f0a1..3fa1a45b31 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. --> - + @@ -587,10 +587,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/hardware_hacks/index.html b/projects/hardware_hacks/index.html index 5d9e224365..994e3c6e84 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. --> - + @@ -427,10 +427,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/hardware_hacks/level-converter/index.html b/projects/hardware_hacks/level-converter/index.html index 78bab7fb43..5e6e7d0928 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. --> - + @@ -420,10 +420,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/index.html b/projects/index.html index 76dc8d243e..01df1a870e 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. --> - + @@ -987,7 +987,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/l4v/index.html b/projects/l4v/index.html index 324eb1a4a7..4e21f6151e 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. --> - + @@ -440,10 +440,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/roadmap.html b/projects/roadmap.html index 7c33904fac..d1caa13ae4 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. --> - + @@ -375,10 +375,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/rust/index.html b/projects/rust/index.html index b210e1563a..f911b6ab38 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. --> - + @@ -526,10 +526,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4-tutorials/benchmarking-guide.html b/projects/sel4-tutorials/benchmarking-guide.html index c60508e6d4..735d9db19d 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. --> - + @@ -796,10 +796,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4-tutorials/debugging-guide.html b/projects/sel4-tutorials/debugging-guide.html index 1e7c54d5f4..fc52f1c9e9 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. --> - + @@ -700,10 +700,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4-tutorials/debugging-userspace.html b/projects/sel4-tutorials/debugging-userspace.html index 1f507df540..1c4f222808 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. --> - + @@ -493,10 +493,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4/api-doc.html b/projects/sel4/api-doc.html index a877b61028..51b7218a3c 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. --> - + @@ -9394,10 +9394,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4/documentation.html b/projects/sel4/documentation.html index eebc08deb9..d93e06b6cc 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. --> - + @@ -728,10 +728,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4/frequently-asked-questions.html b/projects/sel4/frequently-asked-questions.html index 1d24be5c34..9de76af5fe 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. --> - + @@ -1402,10 +1402,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4/index.html b/projects/sel4/index.html index 737916461b..28ce03d514 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. --> - + @@ -860,10 +860,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4/kernel-contribution.html b/projects/sel4/kernel-contribution.html index f81137430b..50b96817a2 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. --> - + @@ -967,10 +967,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4/manual-api-generation.html b/projects/sel4/manual-api-generation.html index 08d5e11245..d540827df3 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. --> - + @@ -998,10 +998,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4/porting.html b/projects/sel4/porting.html index f7bbb6e6d7..6dfbefc99a 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. --> - + @@ -839,10 +839,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4/status.html b/projects/sel4/status.html index f2dddd9df7..9a5c8ace36 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. --> - + @@ -2094,7 +2094,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4/verified-configurations.html b/projects/sel4/verified-configurations.html index fb0224ab6d..3b64743f83 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. --> - + @@ -980,10 +980,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4_tools/index.html b/projects/sel4_tools/index.html index 8aca19c2f9..3ec842deac 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. --> - + @@ -448,10 +448,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4bench/index.html b/projects/sel4bench/index.html index e027da079b..3e1e231551 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. --> - + @@ -538,10 +538,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4bench/status.html b/projects/sel4bench/status.html index 3e8b04b298..6a7ab31bda 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. --> - + @@ -657,7 +657,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4runtime/index.html b/projects/sel4runtime/index.html index f7e2f764ce..f3e2151839 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. --> - + @@ -556,10 +556,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4test/index.html b/projects/sel4test/index.html index 4ca1c9f099..1232409ad1 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. --> - + @@ -574,10 +574,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4test/status.html b/projects/sel4test/status.html index d1495c7fd6..e7baa3de29 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. --> - + @@ -635,7 +635,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/sel4webserver/index.html b/projects/sel4webserver/index.html index da232b648e..7f220a75d0 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. --> - + @@ -718,10 +718,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/user_libs/index.html b/projects/user_libs/index.html index 3c51ac5ece..f475edade2 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. --> - + @@ -470,10 +470,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/user_libs/status.html b/projects/user_libs/status.html index 14281e0828..fe9eae1feb 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. --> - + @@ -1606,7 +1606,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html index cdbf048e90..62942f899b 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. --> - + @@ -491,7 +491,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_boot.html b/projects/virtualization/docs/api/libsel4vm_boot.html index 0d478bba8e..51388e7413 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. --> - + @@ -516,7 +516,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 84b419cfa2..80c73a09b8 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. --> - + @@ -586,7 +586,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_iospace.html b/projects/virtualization/docs/api/libsel4vm_guest_iospace.html index ce13872cfc..d43d05ad3f 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. --> - + @@ -467,7 +467,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 cb0044d12a..67fdf2c397 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. --> - + @@ -537,7 +537,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_memory.html b/projects/virtualization/docs/api/libsel4vm_guest_memory.html index 7c8c48bed6..7ffe3f38e9 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. --> - + @@ -645,7 +645,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 5ae4929948..e8cb161515 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. --> - + @@ -469,7 +469,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_ram.html b/projects/virtualization/docs/api/libsel4vm_guest_ram.html index 6792ee8af6..4cb3477d9f 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. --> - + @@ -662,7 +662,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 45cc0c024e..4478d284b0 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. --> - + @@ -662,7 +662,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_guest_vm.html index f351d28fad..a23a30c0b7 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. --> - + @@ -686,7 +686,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 b215ffd3d7..a7e762f74f 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. --> - + @@ -598,7 +598,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 b192a3eb76..a9e8674b8c 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. --> - + @@ -586,7 +586,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 7501a190dc..28863c26b1 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. --> - + @@ -483,7 +483,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_x86_ioports.html b/projects/virtualization/docs/api/libsel4vm_x86_ioports.html index 105309ddbd..a098211b0f 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. --> - + @@ -515,7 +515,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html b/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html index 147daefba2..184c15f3c2 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. --> - + @@ -469,7 +469,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 ee7182e693..d30dad4ffc 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. --> - + @@ -480,7 +480,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 ba42aa00b7..1e20c8c793 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. --> - + @@ -493,7 +493,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 9a65960b0e..1ea3dcdddb 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. --> - + @@ -493,7 +493,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 1590bf4e73..b2d1806c05 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. --> - + @@ -553,7 +553,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 cf2ab15d6b..08c2813ed8 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. --> - + @@ -490,7 +490,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 f1c99a320d..0f2ae28f98 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. --> - + @@ -466,7 +466,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html index 3f6e2bca77..8e925a37a1 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. --> - + @@ -493,7 +493,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html index 297fab33f8..5a3a128025 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. --> - + @@ -494,7 +494,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 cefcee6af9..b45c9bb79f 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. --> - + @@ -539,7 +539,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html index c1a71e0c03..1b1042a45b 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. --> - + @@ -553,7 +553,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html index 4c7440e112..0b8453a165 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. --> - + @@ -512,7 +512,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html index 6ba6576195..78d8413757 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. --> - + @@ -536,7 +536,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 41852c67e0..9ea2940762 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. --> - + @@ -588,7 +588,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 541077919b..c59b929639 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. --> - + @@ -466,7 +466,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html index bc3803e0f1..5888e036ca 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. --> - + @@ -598,7 +598,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html index b3a4932e29..2be9627e1a 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. --> - + @@ -594,7 +594,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html index 98a2b6a444..d4bab65367 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. --> - + @@ -788,7 +788,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html index 8fc0c363e0..ebee59d763 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. --> - + @@ -499,7 +499,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html index eec5c03875..45b63aa21d 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. --> - + @@ -521,7 +521,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html index 3ec99c9739..1c61ad8742 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. --> - + @@ -465,7 +465,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 7a51da32db..5156d68eb4 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. --> - + @@ -495,7 +495,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • 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 1e5dd83814..4679b2689d 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. --> - + @@ -513,7 +513,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • Page last updated: diff --git a/projects/virtualization/docs/index.html b/projects/virtualization/docs/index.html index 092067dbf8..dffd753fbe 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. --> - + @@ -483,10 +483,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/virtualization/index.html b/projects/virtualization/index.html index b85a6ae866..60484e9fbb 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. --> - + @@ -425,10 +425,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/virtualization/libsel4vm.html b/projects/virtualization/libsel4vm.html index 664f409154..ffdd80c974 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. --> - + @@ -493,10 +493,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/projects/virtualization/libsel4vmmplatsupport.html b/projects/virtualization/libsel4vmmplatsupport.html index bbb45574d3..eb16ac5c5a 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. --> - + @@ -519,10 +519,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes.html b/releases/camkes.html index 508e220831..1e65cb663a 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. --> - + @@ -207,10 +207,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-2.0.0.html b/releases/camkes/camkes-2.0.0.html index 5548e33373..4525415ef8 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. --> - + @@ -411,7 +411,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-2.1.0.html b/releases/camkes/camkes-2.1.0.html index 703ecc5b79..754a20ed55 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. --> - + @@ -443,7 +443,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-2.2.0.html b/releases/camkes/camkes-2.2.0.html index b1a279ba81..97029ec106 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. --> - + @@ -423,7 +423,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-2.3.0.html b/releases/camkes/camkes-2.3.0.html index af0ba1e6dd..41a096fd87 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. --> - + @@ -419,7 +419,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-2.3.1.html b/releases/camkes/camkes-2.3.1.html index 769495098a..3e7dc5767c 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. --> - + @@ -411,7 +411,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-3.0.0.html b/releases/camkes/camkes-3.0.0.html index a41ef0aa4f..904e5b8c08 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. --> - + @@ -547,7 +547,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-3.1.0.html b/releases/camkes/camkes-3.1.0.html index add0e4fde1..5f4f209fe7 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. --> - + @@ -450,7 +450,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-3.10.0.html b/releases/camkes/camkes-3.10.0.html index 3da9c8b462..7f12251a00 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. --> - + @@ -450,7 +450,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-3.2.0.html b/releases/camkes/camkes-3.2.0.html index c02079eb67..004d34b591 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. --> - + @@ -493,7 +493,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-3.3.0.html b/releases/camkes/camkes-3.3.0.html index 2019824222..b5970f295c 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. --> - + @@ -441,7 +441,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-3.4.0.html b/releases/camkes/camkes-3.4.0.html index 1e708e0750..e0894f32bf 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. --> - + @@ -424,7 +424,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-3.5.0.html b/releases/camkes/camkes-3.5.0.html index fd4d3d6873..09ee3ffc35 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. --> - + @@ -434,7 +434,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-3.6.0.html b/releases/camkes/camkes-3.6.0.html index 8ed474bd40..18b34ea8f4 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. --> - + @@ -451,7 +451,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-3.7.0.html b/releases/camkes/camkes-3.7.0.html index 070a40c188..e8726811d3 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. --> - + @@ -422,7 +422,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-3.8.0.html b/releases/camkes/camkes-3.8.0.html index 1e36cae003..519b76ef4a 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. --> - + @@ -473,7 +473,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/camkes/camkes-3.9.0.html b/releases/camkes/camkes-3.9.0.html index 76a3748622..79a6a82233 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. --> - + @@ -555,7 +555,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/capdl/0.1.0.html b/releases/capdl/0.1.0.html index 349403874a..9f04e08583 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. --> - + @@ -360,7 +360,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/capdl/0.2.0.html b/releases/capdl/0.2.0.html index 7099401c89..829669045c 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. --> - + @@ -334,7 +334,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/capdl/0.2.1.html b/releases/capdl/0.2.1.html index 4b05076d45..c83f5726a7 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. --> - + @@ -287,7 +287,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4.html b/releases/sel4.html index 0c32f87457..5a040a6a6f 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. --> - + @@ -486,10 +486,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/0.0.1-rt-dev.html b/releases/sel4/0.0.1-rt-dev.html index ec8b921f17..868095ee15 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. --> - + @@ -700,7 +700,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/1.0.0-rt-dev.html b/releases/sel4/1.0.0-rt-dev.html index 5fa6f13e14..43ef4c0d98 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. --> - + @@ -768,7 +768,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/10.0.0.html b/releases/sel4/10.0.0.html index 7bb0cc2d82..5c8a00af81 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. --> - + @@ -632,7 +632,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/10.1.0.html b/releases/sel4/10.1.0.html index 044d62ea40..0acf1748c9 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. --> - + @@ -636,7 +636,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/10.1.1-mcs.html b/releases/sel4/10.1.1-mcs.html index a902d64459..e321ae642b 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. --> - + @@ -826,7 +826,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/10.1.1.html b/releases/sel4/10.1.1.html index 5046e2aea5..e069905f8e 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. --> - + @@ -617,7 +617,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/11.0.0.html b/releases/sel4/11.0.0.html index 5aed24f6fe..4c37975de3 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. --> - + @@ -728,7 +728,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/12.0.0.html b/releases/sel4/12.0.0.html index 8f2bf94865..f91b4b46aa 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. --> - + @@ -880,7 +880,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/12.1.0.html b/releases/sel4/12.1.0.html index 1d7ad0fbe5..c10c17165a 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. --> - + @@ -756,7 +756,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/2.0.0.html b/releases/sel4/2.0.0.html index bbe805ea69..7f56d249f3 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. --> - + @@ -751,7 +751,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/2.1.0.html b/releases/sel4/2.1.0.html index 9637b530c3..73eb3850ad 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. --> - + @@ -630,7 +630,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/3.0.0.html b/releases/sel4/3.0.0.html index bedb7c521c..c065750695 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. --> - + @@ -714,7 +714,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/3.0.1.html b/releases/sel4/3.0.1.html index 7ec447b85c..d8af21748c 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. --> - + @@ -617,7 +617,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/3.1.0.html b/releases/sel4/3.1.0.html index f04fb00462..fc0db7769f 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. --> - + @@ -637,7 +637,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/3.2.0.html b/releases/sel4/3.2.0.html index 422997e87b..77c11c571e 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. --> - + @@ -640,7 +640,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/4.0.0.html b/releases/sel4/4.0.0.html index c84acd11f4..1f204f3590 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. --> - + @@ -689,7 +689,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/5.0.0.html b/releases/sel4/5.0.0.html index 7987b21db7..41ac3d0284 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. --> - + @@ -650,7 +650,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/5.1.0.html b/releases/sel4/5.1.0.html index 4e4c6abb08..60288b5d28 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. --> - + @@ -630,7 +630,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/5.2.0-mcs.html b/releases/sel4/5.2.0-mcs.html index 638aa6c561..11db1680dd 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. --> - + @@ -830,7 +830,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/5.2.0.html b/releases/sel4/5.2.0.html index 6dd74b078b..2d9e171d7a 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. --> - + @@ -631,7 +631,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/6.0.0.html b/releases/sel4/6.0.0.html index 2659cb3436..fc629ab5d9 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. --> - + @@ -672,7 +672,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/7.0.0.html b/releases/sel4/7.0.0.html index 79f40fbac4..7fff73e8af 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. --> - + @@ -662,7 +662,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/8.0.0.html b/releases/sel4/8.0.0.html index affe37f545..5f73cf018c 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. --> - + @@ -640,7 +640,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/9.0.0-mcs.html b/releases/sel4/9.0.0-mcs.html index 4afcd5cc9d..5f39e484ff 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. --> - + @@ -850,7 +850,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/9.0.0.html b/releases/sel4/9.0.0.html index 11ae37f380..3dc0f855f0 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. --> - + @@ -652,7 +652,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/releases/sel4/9.0.1.html b/releases/sel4/9.0.1.html index d1647e7caf..15ff9f1231 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. --> - + @@ -626,7 +626,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/sitemap.html b/sitemap.html index 700c102a87..c0d02ccb14 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. --> - + @@ -927,10 +927,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/sitemap.xml b/sitemap.xml index 252bb2f47b..106fbbf825 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -2,243 +2,243 @@ https://docs.sel4.systems/releases/camkes/camkes-2.0.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.1.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.2.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-2.3.1.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.0.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.1.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.10.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.2.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.3.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.4.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.5.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.6.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.7.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.8.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/camkes/camkes-3.9.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/capdl/0.1.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/capdl/0.2.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/capdl/0.2.1.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/0.0.1-rt-dev.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/1.0.0-rt-dev.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/10.0.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/10.1.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/10.1.1-mcs.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/10.1.1.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/11.0.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/12.0.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/12.1.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/2.0.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/2.1.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/3.0.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/3.0.1.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/3.1.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/3.2.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/4.0.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/5.0.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/5.1.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/5.2.0-mcs.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/5.2.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/6.0.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/7.0.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/8.0.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/9.0.0-mcs.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/9.0.0.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/releases/sel4/9.0.1.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/projects/camkes/status.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/projects/sel4/status.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/projects/sel4bench/status.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/projects/sel4test/status.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/projects/user_libs/status.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/updates/buildsystem/11.0.x.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x-arm-old.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/updates/camkes-vm/camkes-3.8.x.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/updates/elfloader/11.0.x.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/updates/sel4-tutorials/camkes-3.8.x.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/updates/sel4bench/11.0.x.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/updates/sel4runtime/11.0.x.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/updates/sel4test/11.0.x.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/updates/sel4webserver/camkes-3.8.x.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/updates/user_libs/11.0.x.html -2023-08-11T03:17:05+00:00 +2023-08-11T18:26:28+00:00 https://docs.sel4.systems/projects/driver_framework/AddressingOtherDevices.html @@ -812,10 +812,10 @@ https://docs.sel4.systems/Hardware/CEI_TK1_SOM/CANBoard/canboard_v3.pdf -2023-08-11T03:12:42+00:00 +2023-08-11T18:20:33+00:00 https://docs.sel4.systems/Hardware/CEI_TK1_SOM/DaughterBoard/daughterboard_r3a_schematic.pdf -2023-08-11T03:12:42+00:00 +2023-08-11T18:20:33+00:00 diff --git a/updates/buildsystem.html b/updates/buildsystem.html index d87e4018d3..dc450c3b19 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. --> - + @@ -253,10 +253,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/buildsystem/11.0.x.html b/updates/buildsystem/11.0.x.html index f4fcdefa29..5aedcf3dc3 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. --> - + @@ -360,7 +360,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/camkes-vm.html b/updates/camkes-vm.html index 4ed913fcf4..8a55734e11 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. --> - + @@ -269,10 +269,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • 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 55d268df19..b9a880538c 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. --> - + @@ -383,7 +383,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/camkes-vm/camkes-3.8.x.html b/updates/camkes-vm/camkes-3.8.x.html index 266dc0c032..430b3cf624 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. --> - + @@ -313,7 +313,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/elfloader.html b/updates/elfloader.html index cc18534c60..0cea0473a6 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. --> - + @@ -246,10 +246,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/elfloader/11.0.x.html b/updates/elfloader/11.0.x.html index e4b98f1e37..9c3678d89a 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. --> - + @@ -349,7 +349,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/sel4-tutorials.html b/updates/sel4-tutorials.html index 35260acdf7..248fdb7c52 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. --> - + @@ -253,10 +253,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/sel4-tutorials/camkes-3.8.x.html b/updates/sel4-tutorials/camkes-3.8.x.html index de4e92ada1..da46c45ab4 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. --> - + @@ -303,7 +303,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/sel4bench.html b/updates/sel4bench.html index 01a9e816a0..fac230f352 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. --> - + @@ -260,10 +260,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/sel4bench/11.0.x.html b/updates/sel4bench/11.0.x.html index e1d70752c8..0999fbe864 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. --> - + @@ -316,7 +316,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/sel4runtime.html b/updates/sel4runtime.html index aebb980f42..b73283586a 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. --> - + @@ -246,10 +246,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/sel4runtime/11.0.x.html b/updates/sel4runtime/11.0.x.html index 13d5d661f9..700e3e3767 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. --> - + @@ -296,7 +296,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/sel4test.html b/updates/sel4test.html index f7ab8f884d..b54c2a6ca1 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. --> - + @@ -260,10 +260,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/sel4test/11.0.x.html b/updates/sel4test/11.0.x.html index e8aee24ffe..b6edf20e82 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. --> - + @@ -351,7 +351,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/sel4webserver.html b/updates/sel4webserver.html index 2a7ad1d341..0e8975c2ad 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. --> - + @@ -253,10 +253,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/sel4webserver/camkes-3.8.x.html b/updates/sel4webserver/camkes-3.8.x.html index 341e78dd82..8fedb20f55 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. --> - + @@ -276,7 +276,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/user_libs.html b/updates/user_libs.html index 62956523f3..53ab66451c 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. --> - + @@ -274,10 +274,10 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
  • - Page last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Page last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d
    • diff --git a/updates/user_libs/11.0.x.html b/updates/user_libs/11.0.x.html index edda643f38..bd118dd199 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. --> - + @@ -633,7 +633,7 @@

    seL4 docs

  • - Site last updated: Mon Aug 7 20:11:25 2023 +1000 10160ce + Site last updated: Fri Aug 11 20:20:19 2023 +0200 4f28c8d