├── .github ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md └── workflows │ ├── hw-tests.yml │ ├── pr.yml │ ├── push.yml │ ├── sel4test-sim.yml │ └── trigger.yml ├── .gitignore ├── CMakeLists.txt ├── FindseL4_libs.cmake ├── LICENSE.md ├── LICENSES ├── BSD-2-Clause.txt └── CC-BY-SA-4.0.txt ├── README.md ├── libsel4allocman ├── CMakeLists.txt ├── README.md ├── arch │ ├── arm │ │ └── allocman │ │ │ └── arch │ │ │ └── reservation.h │ ├── riscv │ │ └── allocman │ │ │ └── arch │ │ │ └── reservation.h │ └── x86 │ │ └── allocman │ │ └── arch │ │ └── reservation.h ├── example_bootstrap.c ├── include │ └── allocman │ │ ├── allocman.h │ │ ├── bootstrap.h │ │ ├── cspace │ │ ├── cspace.h │ │ ├── simple1level.h │ │ ├── single_level.h │ │ ├── two_level.h │ │ └── vka.h │ │ ├── cspaceops.h │ │ ├── mspace │ │ ├── dual_pool.h │ │ ├── fixed_pool.h │ │ ├── k_r_malloc.h │ │ ├── malloc.h │ │ ├── mspace.h │ │ ├── null.h │ │ ├── virtual_pool.h │ │ └── vspace_pool.h │ │ ├── properties.h │ │ ├── util.h │ │ ├── utspace │ │ ├── split.h │ │ ├── twinkle.h │ │ ├── utspace.h │ │ └── vka.h │ │ └── vka.h ├── sel4_arch │ ├── aarch32 │ │ └── allocman │ │ │ └── sel4_arch │ │ │ └── reservation.h │ ├── aarch64 │ │ └── allocman │ │ │ └── sel4_arch │ │ │ └── reservation.h │ ├── arm_hyp │ ├── ia32 │ │ └── allocman │ │ │ └── sel4_arch │ │ │ └── reservation.h │ └── x86_64 │ │ └── allocman │ │ └── sel4_arch │ │ └── reservation.h └── src │ ├── allocman.c │ ├── bootstrap.c │ ├── cspace │ ├── simple1level.c │ ├── single_level.c │ └── two_level.c │ ├── mspace │ ├── dual_pool.c │ ├── fixed_pool.c │ ├── k_r_malloc.c │ ├── malloc.c │ ├── virtual_pool.c │ └── vspace_pool.c │ ├── utspace │ ├── split.c │ └── twinkle.c │ └── vka.c ├── libsel4bench ├── CMakeLists.txt ├── arch_include │ ├── arm │ │ ├── armv │ │ │ ├── armv7-a │ │ │ │ └── sel4bench │ │ │ │ │ └── armv │ │ │ │ │ ├── events.h │ │ │ │ │ ├── private.h │ │ │ │ │ └── sel4bench.h │ │ │ └── armv8-a │ │ │ │ └── sel4bench │ │ │ │ └── armv │ │ │ │ ├── events.h │ │ │ │ ├── private.h │ │ │ │ └── sel4bench.h │ │ ├── cpu │ │ │ ├── cortex-a15 │ │ │ │ └── sel4bench │ │ │ │ │ └── cpu │ │ │ │ │ └── events.h │ │ │ ├── cortex-a35 │ │ │ │ └── sel4bench │ │ │ │ │ └── cpu │ │ │ │ │ └── events.h │ │ │ ├── cortex-a53 │ │ │ │ └── sel4bench │ │ │ │ │ └── cpu │ │ │ │ │ └── events.h │ │ │ ├── cortex-a55 │ │ │ │ └── sel4bench │ │ │ │ │ └── cpu │ │ │ │ │ └── events.h │ │ │ ├── cortex-a57 │ │ │ │ └── sel4bench │ │ │ │ │ └── cpu │ │ │ │ │ └── events.h │ │ │ ├── cortex-a72 │ │ │ │ └── sel4bench │ │ │ │ │ └── cpu │ │ │ │ │ └── events.h │ │ │ ├── cortex-a8 │ │ │ │ └── sel4bench │ │ │ │ │ └── cpu │ │ │ │ │ └── events.h │ │ │ └── cortex-a9 │ │ │ │ └── sel4bench │ │ │ │ └── cpu │ │ │ │ └── events.h │ │ └── sel4bench │ │ │ └── arch │ │ │ └── sel4bench.h │ ├── riscv │ │ └── sel4bench │ │ │ └── arch │ │ │ └── sel4bench.h │ └── x86 │ │ └── sel4bench │ │ └── arch │ │ ├── events.h │ │ ├── private.h │ │ └── sel4bench.h ├── include │ └── sel4bench │ │ ├── kernel_logging.h │ │ ├── logging.h │ │ ├── sel4bench.h │ │ └── types.h ├── sel4_arch_include │ ├── aarch32 │ │ └── sel4bench │ │ │ └── sel4_arch │ │ │ └── sel4bench.h │ ├── aarch64 │ │ └── sel4bench │ │ │ └── sel4_arch │ │ │ └── sel4bench.h │ └── arm_hyp └── src │ ├── arch │ ├── arm │ │ ├── armv │ │ │ ├── armv7-a │ │ │ │ └── event_counters.c │ │ │ └── armv8-a │ │ │ │ └── event_counters.c │ │ ├── cpu │ │ │ ├── cortex-a15 │ │ │ │ └── event_counters.c │ │ │ ├── cortex-a53 │ │ │ │ └── event_counters.c │ │ │ ├── cortex-a8 │ │ │ │ └── event_counters.c │ │ │ └── cortex-a9 │ │ │ │ └── event_counters.c │ │ ├── event_counters.c │ │ └── event_counters.h │ └── x86 │ │ └── event_counters.c │ ├── event_counters.c │ ├── event_counters.h │ ├── kernel_logging.c │ └── logging.c ├── libsel4debug ├── CMakeLists.txt ├── README ├── arch_include │ ├── arm │ │ └── sel4debug │ │ │ └── arch │ │ │ └── registers.h │ ├── riscv │ │ └── sel4debug │ │ │ └── arch │ │ │ └── registers.h │ └── x86 │ │ └── sel4debug │ │ └── arch │ │ └── registers.h ├── include │ └── sel4debug │ │ ├── debug.h │ │ ├── execinfo.h │ │ ├── identity.h │ │ ├── instrumentation.h │ │ ├── register_dump.h │ │ ├── stack.h │ │ ├── stack_trace.h │ │ ├── strerror.h │ │ ├── trampoline.h │ │ ├── unknown_syscall.h │ │ └── user_exception.h ├── sel4_arch_include │ ├── aarch32 │ │ └── sel4debug │ │ │ └── sel4_arch │ │ │ └── registers.h │ ├── aarch64 │ │ └── sel4debug │ │ │ └── sel4_arch │ │ │ └── registers.h │ ├── arm_hyp │ ├── ia32 │ │ └── sel4debug │ │ │ └── sel4_arch │ │ │ └── registers.h │ └── x86_64 │ │ └── sel4debug │ │ └── sel4_arch │ │ └── registers.h └── src │ ├── alloc.c │ ├── backtrace.c │ ├── bootinfo.c │ ├── caps.c │ ├── identity-internal.h │ ├── identity.c │ ├── printf.c │ ├── register_dump.c │ ├── sel4_arch │ ├── aarch32 │ │ ├── trampoline.S │ │ ├── unknown_syscall.c │ │ └── user_exception.c │ └── ia32 │ │ ├── stack_trace.c │ │ ├── trampoline.S │ │ ├── unknown_syscall.c │ │ └── user_exception.c │ ├── stack.c │ └── trace.c ├── libsel4muslcsys ├── CMakeLists.txt ├── README ├── include │ ├── arch_stdio.h │ └── muslcsys │ │ ├── io.h │ │ └── vsyscall.h └── src │ ├── sys_exit.c │ ├── sys_io.c │ ├── sys_morecore.c │ ├── sys_thread.c │ ├── sys_yield.c │ ├── syscalls.h │ └── vsyscall.c ├── libsel4platsupport ├── CMakeLists.txt ├── arch_include │ ├── arm │ │ └── sel4platsupport │ │ │ └── arch │ │ │ └── io.h │ └── x86 │ │ └── sel4platsupport │ │ └── arch │ │ └── io.h ├── include │ └── sel4platsupport │ │ ├── bootinfo.h │ │ ├── device.h │ │ ├── io.h │ │ ├── irq.h │ │ ├── platsupport.h │ │ ├── pmem.h │ │ └── timer.h └── src │ ├── arch │ ├── arm │ │ ├── device.c │ │ ├── io_port_ops.c │ │ └── pmem.c │ └── x86 │ │ ├── io_port_ops.c │ │ └── pmem.c │ ├── bootinfo.c │ ├── common.c │ ├── device.c │ ├── io.c │ ├── irq.c │ ├── plat │ └── pc99 │ │ └── device.c │ ├── plat_internal.h │ ├── sel4_arch │ ├── aarch32 │ │ └── crt0.S │ ├── aarch64 │ │ └── crt0.S │ ├── arm_hyp │ ├── ia32 │ │ └── crt0.S │ └── x86_64 │ │ └── crt0.S │ ├── serial.c │ └── timer.c ├── libsel4serialserver ├── CMakeLists.txt ├── README.md ├── include │ └── serial_server │ │ ├── client.h │ │ ├── parent.h │ │ └── test.h └── src │ ├── clientapi.c │ ├── parentapi.c │ ├── serial_server.h │ ├── server.c │ └── test.c ├── libsel4simple-default ├── CMakeLists.txt ├── include │ └── simple-default │ │ └── simple-default.h └── src │ ├── arch │ ├── arm │ │ └── default.c │ ├── riscv │ │ └── default.c │ └── x86 │ │ └── default.c │ └── libsel4simple-default.c ├── libsel4simple ├── CMakeLists.txt ├── arch_include │ ├── arm │ │ └── simple │ │ │ └── arch │ │ │ └── simple.h │ └── x86 │ │ └── simple │ │ └── arch │ │ └── simple.h ├── include │ └── simple │ │ ├── simple.h │ │ └── simple_helpers.h └── src │ └── simple.c ├── libsel4sync ├── CMakeLists.txt ├── README.md ├── include │ └── sync │ │ ├── bin_sem.h │ │ ├── bin_sem_bare.h │ │ ├── condition_var.h │ │ ├── mutex.h │ │ ├── recursive_mutex.h │ │ ├── sem-bare.h │ │ └── sem.h ├── spin │ ├── binary-sem │ │ ├── Makefile │ │ └── binary-sem.pml │ ├── condition-vars │ │ ├── Makefile │ │ └── cv.pml │ ├── notification-semaphore │ │ ├── Makefile │ │ └── semaphore.pml │ └── sem │ │ ├── Makefile │ │ └── sem.promela └── src │ └── recursive_mutex.c ├── libsel4test ├── CMakeLists.txt ├── README ├── include │ └── sel4test │ │ ├── macros.h │ │ ├── test.h │ │ └── testutil.h ├── src │ └── testutil.c └── tools │ └── extract_results.py ├── libsel4utils ├── CMakeLists.txt ├── README.md ├── arch_include │ ├── arm │ │ └── sel4utils │ │ │ └── arch │ │ │ ├── cache.h │ │ │ ├── page.h │ │ │ ├── util.h │ │ │ └── vspace.h │ ├── riscv │ │ └── sel4utils │ │ │ └── arch │ │ │ ├── cache.h │ │ │ ├── page.h │ │ │ ├── util.h │ │ │ └── vspace.h │ └── x86 │ │ └── sel4utils │ │ └── arch │ │ ├── cache.h │ │ ├── page.h │ │ ├── tsc.h │ │ ├── util.h │ │ └── vspace.h ├── include │ └── sel4utils │ │ ├── api.h │ │ ├── benchmark.h │ │ ├── benchmark_track.h │ │ ├── elf.h │ │ ├── helpers.h │ │ ├── iommu_dma.h │ │ ├── irq_server.h │ │ ├── mapping.h │ │ ├── mcs_api.h │ │ ├── page.h │ │ ├── page_dma.h │ │ ├── process.h │ │ ├── process_config.h │ │ ├── profile.h │ │ ├── sel4_zf_logif.h │ │ ├── slab.h │ │ ├── stack.h │ │ ├── strerror.h │ │ ├── thread.h │ │ ├── thread_config.h │ │ ├── time_server │ │ └── client.h │ │ ├── util.h │ │ ├── vspace.h │ │ └── vspace_internal.h ├── sel4_arch_include │ ├── aarch32 │ │ └── sel4utils │ │ │ └── sel4_arch │ │ │ ├── cache.h │ │ │ ├── util.h │ │ │ └── vspace.h │ ├── aarch64 │ │ └── sel4utils │ │ │ └── sel4_arch │ │ │ ├── cache.h │ │ │ ├── util.h │ │ │ └── vspace.h │ ├── arm_hyp │ ├── ia32 │ │ └── sel4utils │ │ │ └── sel4_arch │ │ │ ├── util.h │ │ │ └── vspace.h │ └── x86_64 │ │ └── sel4utils │ │ └── sel4_arch │ │ ├── util.h │ │ └── vspace.h └── src │ ├── arch │ └── riscv │ │ └── arch.c │ ├── elf.c │ ├── iommu_dma.c │ ├── irq_server │ └── irq_server.c │ ├── mapping.c │ ├── page_dma.c │ ├── process.c │ ├── profile.c │ ├── sel4_arch │ ├── aarch32 │ │ └── arch.c │ ├── aarch64 │ │ └── arch.c │ ├── arm_hyp │ ├── ia32 │ │ └── arch.c │ └── x86_64 │ │ └── arch.c │ ├── slab.c │ ├── stack.c │ ├── strerror.c │ ├── thread.c │ ├── time_server │ └── client.c │ └── vspace │ ├── bootstrap.c │ └── vspace.c ├── libsel4vka ├── CMakeLists.txt ├── arch_include │ ├── arm │ │ └── vka │ │ │ └── arch │ │ │ ├── kobject_t.h │ │ │ └── object.h │ ├── riscv │ │ └── vka │ │ │ └── arch │ │ │ ├── kobject_t.h │ │ │ └── object.h │ └── x86 │ │ └── vka │ │ └── arch │ │ ├── kobject_t.h │ │ └── object.h ├── include │ └── vka │ │ ├── capops.h │ │ ├── cspacepath_t.h │ │ ├── debug-vka.h │ │ ├── ipcbuffer.h │ │ ├── kobject_t.h │ │ ├── null-vka.h │ │ ├── object.h │ │ ├── object_capops.h │ │ └── vka.h ├── sel4_arch_include │ ├── aarch32 │ │ └── vka │ │ │ └── sel4_arch │ │ │ ├── kobject_t.h │ │ │ └── object.h │ ├── aarch64 │ │ └── vka │ │ │ └── sel4_arch │ │ │ ├── kobject_t.h │ │ │ └── object.h │ ├── arm_hyp │ ├── ia32 │ │ └── vka │ │ │ └── sel4_arch │ │ │ ├── kobject_t.h │ │ │ └── object.h │ └── x86_64 │ │ └── vka │ │ └── sel4_arch │ │ ├── kobject_t.h │ │ └── object.h └── src │ ├── debug-vka.c │ └── null-vka.c └── libsel4vspace ├── CMakeLists.txt ├── arch_include ├── arm │ └── vspace │ │ └── arch │ │ └── page.h ├── riscv │ └── vspace │ │ └── arch │ │ └── page.h └── x86 │ └── vspace │ └── arch │ └── page.h ├── include └── vspace │ ├── mapping.h │ ├── page.h │ └── vspace.h └── src ├── arch ├── arm │ └── mapping.c ├── riscv │ └── mapping.c └── x86 │ └── mapping.c ├── sel4_arch ├── aarch32 │ └── mapping.c ├── aarch64 │ └── mapping.c ├── arm_hyp ├── ia32 │ └── mapping.c └── x86_64 │ └── mapping.c └── vspace.c /.github/CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/.github/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /.github/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/.github/CONTRIBUTING.md -------------------------------------------------------------------------------- /.github/workflows/hw-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/.github/workflows/hw-tests.yml -------------------------------------------------------------------------------- /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.github/workflows/push.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/.github/workflows/push.yml -------------------------------------------------------------------------------- /.github/workflows/sel4test-sim.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/.github/workflows/sel4test-sim.yml -------------------------------------------------------------------------------- /.github/workflows/trigger.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/.github/workflows/trigger.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /FindseL4_libs.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/FindseL4_libs.cmake -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/LICENSE.md -------------------------------------------------------------------------------- /LICENSES/BSD-2-Clause.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/LICENSES/BSD-2-Clause.txt -------------------------------------------------------------------------------- /LICENSES/CC-BY-SA-4.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/LICENSES/CC-BY-SA-4.0.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/README.md -------------------------------------------------------------------------------- /libsel4allocman/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4allocman/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/README.md -------------------------------------------------------------------------------- /libsel4allocman/arch/arm/allocman/arch/reservation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/arch/arm/allocman/arch/reservation.h -------------------------------------------------------------------------------- /libsel4allocman/arch/riscv/allocman/arch/reservation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/arch/riscv/allocman/arch/reservation.h -------------------------------------------------------------------------------- /libsel4allocman/arch/x86/allocman/arch/reservation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/arch/x86/allocman/arch/reservation.h -------------------------------------------------------------------------------- /libsel4allocman/example_bootstrap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/example_bootstrap.c -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/allocman.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/allocman.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/bootstrap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/bootstrap.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/cspace/cspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/cspace/cspace.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/cspace/simple1level.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/cspace/simple1level.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/cspace/single_level.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/cspace/single_level.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/cspace/two_level.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/cspace/two_level.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/cspace/vka.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/cspace/vka.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/cspaceops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/cspaceops.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/mspace/dual_pool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/mspace/dual_pool.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/mspace/fixed_pool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/mspace/fixed_pool.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/mspace/k_r_malloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/mspace/k_r_malloc.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/mspace/malloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/mspace/malloc.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/mspace/mspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/mspace/mspace.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/mspace/null.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/mspace/null.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/mspace/virtual_pool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/mspace/virtual_pool.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/mspace/vspace_pool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/mspace/vspace_pool.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/properties.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/properties.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/util.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/utspace/split.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/utspace/split.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/utspace/twinkle.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/utspace/twinkle.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/utspace/utspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/utspace/utspace.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/utspace/vka.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/utspace/vka.h -------------------------------------------------------------------------------- /libsel4allocman/include/allocman/vka.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/include/allocman/vka.h -------------------------------------------------------------------------------- /libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/reservation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/reservation.h -------------------------------------------------------------------------------- /libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/reservation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/reservation.h -------------------------------------------------------------------------------- /libsel4allocman/sel4_arch/arm_hyp: -------------------------------------------------------------------------------- 1 | aarch32 -------------------------------------------------------------------------------- /libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/reservation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/reservation.h -------------------------------------------------------------------------------- /libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/reservation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/reservation.h -------------------------------------------------------------------------------- /libsel4allocman/src/allocman.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/allocman.c -------------------------------------------------------------------------------- /libsel4allocman/src/bootstrap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/bootstrap.c -------------------------------------------------------------------------------- /libsel4allocman/src/cspace/simple1level.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/cspace/simple1level.c -------------------------------------------------------------------------------- /libsel4allocman/src/cspace/single_level.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/cspace/single_level.c -------------------------------------------------------------------------------- /libsel4allocman/src/cspace/two_level.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/cspace/two_level.c -------------------------------------------------------------------------------- /libsel4allocman/src/mspace/dual_pool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/mspace/dual_pool.c -------------------------------------------------------------------------------- /libsel4allocman/src/mspace/fixed_pool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/mspace/fixed_pool.c -------------------------------------------------------------------------------- /libsel4allocman/src/mspace/k_r_malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/mspace/k_r_malloc.c -------------------------------------------------------------------------------- /libsel4allocman/src/mspace/malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/mspace/malloc.c -------------------------------------------------------------------------------- /libsel4allocman/src/mspace/virtual_pool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/mspace/virtual_pool.c -------------------------------------------------------------------------------- /libsel4allocman/src/mspace/vspace_pool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/mspace/vspace_pool.c -------------------------------------------------------------------------------- /libsel4allocman/src/utspace/split.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/utspace/split.c -------------------------------------------------------------------------------- /libsel4allocman/src/utspace/twinkle.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/utspace/twinkle.c -------------------------------------------------------------------------------- /libsel4allocman/src/vka.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4allocman/src/vka.c -------------------------------------------------------------------------------- /libsel4bench/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/events.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/private.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/private.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/sel4bench.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/sel4bench.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/events.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/private.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/private.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/sel4bench.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/sel4bench.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/cpu/cortex-a15/sel4bench/cpu/events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/cpu/cortex-a15/sel4bench/cpu/events.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/cpu/cortex-a35/sel4bench/cpu/events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/cpu/cortex-a35/sel4bench/cpu/events.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/cpu/cortex-a53/sel4bench/cpu/events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/cpu/cortex-a53/sel4bench/cpu/events.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/cpu/cortex-a55/sel4bench/cpu/events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/cpu/cortex-a55/sel4bench/cpu/events.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/cpu/cortex-a57/sel4bench/cpu/events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/cpu/cortex-a57/sel4bench/cpu/events.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/cpu/cortex-a72/sel4bench/cpu/events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/cpu/cortex-a72/sel4bench/cpu/events.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/cpu/cortex-a8/sel4bench/cpu/events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/cpu/cortex-a8/sel4bench/cpu/events.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/cpu/cortex-a9/sel4bench/cpu/events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/cpu/cortex-a9/sel4bench/cpu/events.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/arm/sel4bench/arch/sel4bench.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/arm/sel4bench/arch/sel4bench.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/riscv/sel4bench/arch/sel4bench.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/riscv/sel4bench/arch/sel4bench.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/x86/sel4bench/arch/events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/x86/sel4bench/arch/events.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/x86/sel4bench/arch/private.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/x86/sel4bench/arch/private.h -------------------------------------------------------------------------------- /libsel4bench/arch_include/x86/sel4bench/arch/sel4bench.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/arch_include/x86/sel4bench/arch/sel4bench.h -------------------------------------------------------------------------------- /libsel4bench/include/sel4bench/kernel_logging.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/include/sel4bench/kernel_logging.h -------------------------------------------------------------------------------- /libsel4bench/include/sel4bench/logging.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/include/sel4bench/logging.h -------------------------------------------------------------------------------- /libsel4bench/include/sel4bench/sel4bench.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/include/sel4bench/sel4bench.h -------------------------------------------------------------------------------- /libsel4bench/include/sel4bench/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/include/sel4bench/types.h -------------------------------------------------------------------------------- /libsel4bench/sel4_arch_include/aarch32/sel4bench/sel4_arch/sel4bench.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/sel4_arch_include/aarch32/sel4bench/sel4_arch/sel4bench.h -------------------------------------------------------------------------------- /libsel4bench/sel4_arch_include/aarch64/sel4bench/sel4_arch/sel4bench.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/sel4_arch_include/aarch64/sel4bench/sel4_arch/sel4bench.h -------------------------------------------------------------------------------- /libsel4bench/sel4_arch_include/arm_hyp: -------------------------------------------------------------------------------- 1 | aarch32 -------------------------------------------------------------------------------- /libsel4bench/src/arch/arm/armv/armv7-a/event_counters.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/src/arch/arm/armv/armv7-a/event_counters.c -------------------------------------------------------------------------------- /libsel4bench/src/arch/arm/armv/armv8-a/event_counters.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/src/arch/arm/armv/armv8-a/event_counters.c -------------------------------------------------------------------------------- /libsel4bench/src/arch/arm/cpu/cortex-a15/event_counters.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/src/arch/arm/cpu/cortex-a15/event_counters.c -------------------------------------------------------------------------------- /libsel4bench/src/arch/arm/cpu/cortex-a53/event_counters.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/src/arch/arm/cpu/cortex-a53/event_counters.c -------------------------------------------------------------------------------- /libsel4bench/src/arch/arm/cpu/cortex-a8/event_counters.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/src/arch/arm/cpu/cortex-a8/event_counters.c -------------------------------------------------------------------------------- /libsel4bench/src/arch/arm/cpu/cortex-a9/event_counters.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/src/arch/arm/cpu/cortex-a9/event_counters.c -------------------------------------------------------------------------------- /libsel4bench/src/arch/arm/event_counters.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/src/arch/arm/event_counters.c -------------------------------------------------------------------------------- /libsel4bench/src/arch/arm/event_counters.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/src/arch/arm/event_counters.h -------------------------------------------------------------------------------- /libsel4bench/src/arch/x86/event_counters.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/src/arch/x86/event_counters.c -------------------------------------------------------------------------------- /libsel4bench/src/event_counters.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/src/event_counters.c -------------------------------------------------------------------------------- /libsel4bench/src/event_counters.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/src/event_counters.h -------------------------------------------------------------------------------- /libsel4bench/src/kernel_logging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/src/kernel_logging.c -------------------------------------------------------------------------------- /libsel4bench/src/logging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4bench/src/logging.c -------------------------------------------------------------------------------- /libsel4debug/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4debug/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/README -------------------------------------------------------------------------------- /libsel4debug/arch_include/arm/sel4debug/arch/registers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/arch_include/arm/sel4debug/arch/registers.h -------------------------------------------------------------------------------- /libsel4debug/arch_include/riscv/sel4debug/arch/registers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/arch_include/riscv/sel4debug/arch/registers.h -------------------------------------------------------------------------------- /libsel4debug/arch_include/x86/sel4debug/arch/registers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/arch_include/x86/sel4debug/arch/registers.h -------------------------------------------------------------------------------- /libsel4debug/include/sel4debug/debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/include/sel4debug/debug.h -------------------------------------------------------------------------------- /libsel4debug/include/sel4debug/execinfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/include/sel4debug/execinfo.h -------------------------------------------------------------------------------- /libsel4debug/include/sel4debug/identity.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/include/sel4debug/identity.h -------------------------------------------------------------------------------- /libsel4debug/include/sel4debug/instrumentation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/include/sel4debug/instrumentation.h -------------------------------------------------------------------------------- /libsel4debug/include/sel4debug/register_dump.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/include/sel4debug/register_dump.h -------------------------------------------------------------------------------- /libsel4debug/include/sel4debug/stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/include/sel4debug/stack.h -------------------------------------------------------------------------------- /libsel4debug/include/sel4debug/stack_trace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/include/sel4debug/stack_trace.h -------------------------------------------------------------------------------- /libsel4debug/include/sel4debug/strerror.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/include/sel4debug/strerror.h -------------------------------------------------------------------------------- /libsel4debug/include/sel4debug/trampoline.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/include/sel4debug/trampoline.h -------------------------------------------------------------------------------- /libsel4debug/include/sel4debug/unknown_syscall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/include/sel4debug/unknown_syscall.h -------------------------------------------------------------------------------- /libsel4debug/include/sel4debug/user_exception.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/include/sel4debug/user_exception.h -------------------------------------------------------------------------------- /libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h -------------------------------------------------------------------------------- /libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/registers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/registers.h -------------------------------------------------------------------------------- /libsel4debug/sel4_arch_include/arm_hyp: -------------------------------------------------------------------------------- 1 | aarch32/ -------------------------------------------------------------------------------- /libsel4debug/sel4_arch_include/ia32/sel4debug/sel4_arch/registers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/sel4_arch_include/ia32/sel4debug/sel4_arch/registers.h -------------------------------------------------------------------------------- /libsel4debug/sel4_arch_include/x86_64/sel4debug/sel4_arch/registers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/sel4_arch_include/x86_64/sel4debug/sel4_arch/registers.h -------------------------------------------------------------------------------- /libsel4debug/src/alloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/alloc.c -------------------------------------------------------------------------------- /libsel4debug/src/backtrace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/backtrace.c -------------------------------------------------------------------------------- /libsel4debug/src/bootinfo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/bootinfo.c -------------------------------------------------------------------------------- /libsel4debug/src/caps.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/caps.c -------------------------------------------------------------------------------- /libsel4debug/src/identity-internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/identity-internal.h -------------------------------------------------------------------------------- /libsel4debug/src/identity.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/identity.c -------------------------------------------------------------------------------- /libsel4debug/src/printf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/printf.c -------------------------------------------------------------------------------- /libsel4debug/src/register_dump.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/register_dump.c -------------------------------------------------------------------------------- /libsel4debug/src/sel4_arch/aarch32/trampoline.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/sel4_arch/aarch32/trampoline.S -------------------------------------------------------------------------------- /libsel4debug/src/sel4_arch/aarch32/unknown_syscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/sel4_arch/aarch32/unknown_syscall.c -------------------------------------------------------------------------------- /libsel4debug/src/sel4_arch/aarch32/user_exception.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/sel4_arch/aarch32/user_exception.c -------------------------------------------------------------------------------- /libsel4debug/src/sel4_arch/ia32/stack_trace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/sel4_arch/ia32/stack_trace.c -------------------------------------------------------------------------------- /libsel4debug/src/sel4_arch/ia32/trampoline.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/sel4_arch/ia32/trampoline.S -------------------------------------------------------------------------------- /libsel4debug/src/sel4_arch/ia32/unknown_syscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/sel4_arch/ia32/unknown_syscall.c -------------------------------------------------------------------------------- /libsel4debug/src/sel4_arch/ia32/user_exception.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/sel4_arch/ia32/user_exception.c -------------------------------------------------------------------------------- /libsel4debug/src/stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/stack.c -------------------------------------------------------------------------------- /libsel4debug/src/trace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4debug/src/trace.c -------------------------------------------------------------------------------- /libsel4muslcsys/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4muslcsys/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4muslcsys/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4muslcsys/README -------------------------------------------------------------------------------- /libsel4muslcsys/include/arch_stdio.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4muslcsys/include/arch_stdio.h -------------------------------------------------------------------------------- /libsel4muslcsys/include/muslcsys/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4muslcsys/include/muslcsys/io.h -------------------------------------------------------------------------------- /libsel4muslcsys/include/muslcsys/vsyscall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4muslcsys/include/muslcsys/vsyscall.h -------------------------------------------------------------------------------- /libsel4muslcsys/src/sys_exit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4muslcsys/src/sys_exit.c -------------------------------------------------------------------------------- /libsel4muslcsys/src/sys_io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4muslcsys/src/sys_io.c -------------------------------------------------------------------------------- /libsel4muslcsys/src/sys_morecore.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4muslcsys/src/sys_morecore.c -------------------------------------------------------------------------------- /libsel4muslcsys/src/sys_thread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4muslcsys/src/sys_thread.c -------------------------------------------------------------------------------- /libsel4muslcsys/src/sys_yield.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4muslcsys/src/sys_yield.c -------------------------------------------------------------------------------- /libsel4muslcsys/src/syscalls.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4muslcsys/src/syscalls.h -------------------------------------------------------------------------------- /libsel4muslcsys/src/vsyscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4muslcsys/src/vsyscall.c -------------------------------------------------------------------------------- /libsel4platsupport/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4platsupport/arch_include/arm/sel4platsupport/arch/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/arch_include/arm/sel4platsupport/arch/io.h -------------------------------------------------------------------------------- /libsel4platsupport/arch_include/x86/sel4platsupport/arch/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/arch_include/x86/sel4platsupport/arch/io.h -------------------------------------------------------------------------------- /libsel4platsupport/include/sel4platsupport/bootinfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/include/sel4platsupport/bootinfo.h -------------------------------------------------------------------------------- /libsel4platsupport/include/sel4platsupport/device.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/include/sel4platsupport/device.h -------------------------------------------------------------------------------- /libsel4platsupport/include/sel4platsupport/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/include/sel4platsupport/io.h -------------------------------------------------------------------------------- /libsel4platsupport/include/sel4platsupport/irq.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/include/sel4platsupport/irq.h -------------------------------------------------------------------------------- /libsel4platsupport/include/sel4platsupport/platsupport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/include/sel4platsupport/platsupport.h -------------------------------------------------------------------------------- /libsel4platsupport/include/sel4platsupport/pmem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/include/sel4platsupport/pmem.h -------------------------------------------------------------------------------- /libsel4platsupport/include/sel4platsupport/timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/include/sel4platsupport/timer.h -------------------------------------------------------------------------------- /libsel4platsupport/src/arch/arm/device.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/arch/arm/device.c -------------------------------------------------------------------------------- /libsel4platsupport/src/arch/arm/io_port_ops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/arch/arm/io_port_ops.c -------------------------------------------------------------------------------- /libsel4platsupport/src/arch/arm/pmem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/arch/arm/pmem.c -------------------------------------------------------------------------------- /libsel4platsupport/src/arch/x86/io_port_ops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/arch/x86/io_port_ops.c -------------------------------------------------------------------------------- /libsel4platsupport/src/arch/x86/pmem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/arch/x86/pmem.c -------------------------------------------------------------------------------- /libsel4platsupport/src/bootinfo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/bootinfo.c -------------------------------------------------------------------------------- /libsel4platsupport/src/common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/common.c -------------------------------------------------------------------------------- /libsel4platsupport/src/device.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/device.c -------------------------------------------------------------------------------- /libsel4platsupport/src/io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/io.c -------------------------------------------------------------------------------- /libsel4platsupport/src/irq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/irq.c -------------------------------------------------------------------------------- /libsel4platsupport/src/plat/pc99/device.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/plat/pc99/device.c -------------------------------------------------------------------------------- /libsel4platsupport/src/plat_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/plat_internal.h -------------------------------------------------------------------------------- /libsel4platsupport/src/sel4_arch/aarch32/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/sel4_arch/aarch32/crt0.S -------------------------------------------------------------------------------- /libsel4platsupport/src/sel4_arch/aarch64/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/sel4_arch/aarch64/crt0.S -------------------------------------------------------------------------------- /libsel4platsupport/src/sel4_arch/arm_hyp: -------------------------------------------------------------------------------- 1 | aarch32/ -------------------------------------------------------------------------------- /libsel4platsupport/src/sel4_arch/ia32/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/sel4_arch/ia32/crt0.S -------------------------------------------------------------------------------- /libsel4platsupport/src/sel4_arch/x86_64/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/sel4_arch/x86_64/crt0.S -------------------------------------------------------------------------------- /libsel4platsupport/src/serial.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/serial.c -------------------------------------------------------------------------------- /libsel4platsupport/src/timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4platsupport/src/timer.c -------------------------------------------------------------------------------- /libsel4serialserver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4serialserver/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4serialserver/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4serialserver/README.md -------------------------------------------------------------------------------- /libsel4serialserver/include/serial_server/client.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4serialserver/include/serial_server/client.h -------------------------------------------------------------------------------- /libsel4serialserver/include/serial_server/parent.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4serialserver/include/serial_server/parent.h -------------------------------------------------------------------------------- /libsel4serialserver/include/serial_server/test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4serialserver/include/serial_server/test.h -------------------------------------------------------------------------------- /libsel4serialserver/src/clientapi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4serialserver/src/clientapi.c -------------------------------------------------------------------------------- /libsel4serialserver/src/parentapi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4serialserver/src/parentapi.c -------------------------------------------------------------------------------- /libsel4serialserver/src/serial_server.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4serialserver/src/serial_server.h -------------------------------------------------------------------------------- /libsel4serialserver/src/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4serialserver/src/server.c -------------------------------------------------------------------------------- /libsel4serialserver/src/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4serialserver/src/test.c -------------------------------------------------------------------------------- /libsel4simple-default/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4simple-default/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4simple-default/include/simple-default/simple-default.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4simple-default/include/simple-default/simple-default.h -------------------------------------------------------------------------------- /libsel4simple-default/src/arch/arm/default.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4simple-default/src/arch/arm/default.c -------------------------------------------------------------------------------- /libsel4simple-default/src/arch/riscv/default.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4simple-default/src/arch/riscv/default.c -------------------------------------------------------------------------------- /libsel4simple-default/src/arch/x86/default.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4simple-default/src/arch/x86/default.c -------------------------------------------------------------------------------- /libsel4simple-default/src/libsel4simple-default.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4simple-default/src/libsel4simple-default.c -------------------------------------------------------------------------------- /libsel4simple/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4simple/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4simple/arch_include/arm/simple/arch/simple.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4simple/arch_include/arm/simple/arch/simple.h -------------------------------------------------------------------------------- /libsel4simple/arch_include/x86/simple/arch/simple.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4simple/arch_include/x86/simple/arch/simple.h -------------------------------------------------------------------------------- /libsel4simple/include/simple/simple.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4simple/include/simple/simple.h -------------------------------------------------------------------------------- /libsel4simple/include/simple/simple_helpers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4simple/include/simple/simple_helpers.h -------------------------------------------------------------------------------- /libsel4simple/src/simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4simple/src/simple.c -------------------------------------------------------------------------------- /libsel4sync/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4sync/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/README.md -------------------------------------------------------------------------------- /libsel4sync/include/sync/bin_sem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/include/sync/bin_sem.h -------------------------------------------------------------------------------- /libsel4sync/include/sync/bin_sem_bare.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/include/sync/bin_sem_bare.h -------------------------------------------------------------------------------- /libsel4sync/include/sync/condition_var.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/include/sync/condition_var.h -------------------------------------------------------------------------------- /libsel4sync/include/sync/mutex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/include/sync/mutex.h -------------------------------------------------------------------------------- /libsel4sync/include/sync/recursive_mutex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/include/sync/recursive_mutex.h -------------------------------------------------------------------------------- /libsel4sync/include/sync/sem-bare.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/include/sync/sem-bare.h -------------------------------------------------------------------------------- /libsel4sync/include/sync/sem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/include/sync/sem.h -------------------------------------------------------------------------------- /libsel4sync/spin/binary-sem/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/spin/binary-sem/Makefile -------------------------------------------------------------------------------- /libsel4sync/spin/binary-sem/binary-sem.pml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/spin/binary-sem/binary-sem.pml -------------------------------------------------------------------------------- /libsel4sync/spin/condition-vars/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/spin/condition-vars/Makefile -------------------------------------------------------------------------------- /libsel4sync/spin/condition-vars/cv.pml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/spin/condition-vars/cv.pml -------------------------------------------------------------------------------- /libsel4sync/spin/notification-semaphore/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/spin/notification-semaphore/Makefile -------------------------------------------------------------------------------- /libsel4sync/spin/notification-semaphore/semaphore.pml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/spin/notification-semaphore/semaphore.pml -------------------------------------------------------------------------------- /libsel4sync/spin/sem/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/spin/sem/Makefile -------------------------------------------------------------------------------- /libsel4sync/spin/sem/sem.promela: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/spin/sem/sem.promela -------------------------------------------------------------------------------- /libsel4sync/src/recursive_mutex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4sync/src/recursive_mutex.c -------------------------------------------------------------------------------- /libsel4test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4test/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4test/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4test/README -------------------------------------------------------------------------------- /libsel4test/include/sel4test/macros.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4test/include/sel4test/macros.h -------------------------------------------------------------------------------- /libsel4test/include/sel4test/test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4test/include/sel4test/test.h -------------------------------------------------------------------------------- /libsel4test/include/sel4test/testutil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4test/include/sel4test/testutil.h -------------------------------------------------------------------------------- /libsel4test/src/testutil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4test/src/testutil.c -------------------------------------------------------------------------------- /libsel4test/tools/extract_results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4test/tools/extract_results.py -------------------------------------------------------------------------------- /libsel4utils/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4utils/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/README.md -------------------------------------------------------------------------------- /libsel4utils/arch_include/arm/sel4utils/arch/cache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/arch_include/arm/sel4utils/arch/cache.h -------------------------------------------------------------------------------- /libsel4utils/arch_include/arm/sel4utils/arch/page.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/arch_include/arm/sel4utils/arch/page.h -------------------------------------------------------------------------------- /libsel4utils/arch_include/arm/sel4utils/arch/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/arch_include/arm/sel4utils/arch/util.h -------------------------------------------------------------------------------- /libsel4utils/arch_include/arm/sel4utils/arch/vspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/arch_include/arm/sel4utils/arch/vspace.h -------------------------------------------------------------------------------- /libsel4utils/arch_include/riscv/sel4utils/arch/cache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/arch_include/riscv/sel4utils/arch/cache.h -------------------------------------------------------------------------------- /libsel4utils/arch_include/riscv/sel4utils/arch/page.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/arch_include/riscv/sel4utils/arch/page.h -------------------------------------------------------------------------------- /libsel4utils/arch_include/riscv/sel4utils/arch/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/arch_include/riscv/sel4utils/arch/util.h -------------------------------------------------------------------------------- /libsel4utils/arch_include/riscv/sel4utils/arch/vspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/arch_include/riscv/sel4utils/arch/vspace.h -------------------------------------------------------------------------------- /libsel4utils/arch_include/x86/sel4utils/arch/cache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/arch_include/x86/sel4utils/arch/cache.h -------------------------------------------------------------------------------- /libsel4utils/arch_include/x86/sel4utils/arch/page.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/arch_include/x86/sel4utils/arch/page.h -------------------------------------------------------------------------------- /libsel4utils/arch_include/x86/sel4utils/arch/tsc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/arch_include/x86/sel4utils/arch/tsc.h -------------------------------------------------------------------------------- /libsel4utils/arch_include/x86/sel4utils/arch/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/arch_include/x86/sel4utils/arch/util.h -------------------------------------------------------------------------------- /libsel4utils/arch_include/x86/sel4utils/arch/vspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/arch_include/x86/sel4utils/arch/vspace.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/api.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/benchmark.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/benchmark.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/benchmark_track.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/benchmark_track.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/elf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/elf.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/helpers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/helpers.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/iommu_dma.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/iommu_dma.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/irq_server.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/irq_server.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/mapping.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/mapping.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/mcs_api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/mcs_api.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/page.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/page.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/page_dma.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/page_dma.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/process.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/process.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/process_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/process_config.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/profile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/profile.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/sel4_zf_logif.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/sel4_zf_logif.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/slab.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/slab.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/stack.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/strerror.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/strerror.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/thread.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/thread.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/thread_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/thread_config.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/time_server/client.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/time_server/client.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/util.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/vspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/vspace.h -------------------------------------------------------------------------------- /libsel4utils/include/sel4utils/vspace_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/include/sel4utils/vspace_internal.h -------------------------------------------------------------------------------- /libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/cache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/cache.h -------------------------------------------------------------------------------- /libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/util.h -------------------------------------------------------------------------------- /libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/vspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/vspace.h -------------------------------------------------------------------------------- /libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/cache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/cache.h -------------------------------------------------------------------------------- /libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/util.h -------------------------------------------------------------------------------- /libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h -------------------------------------------------------------------------------- /libsel4utils/sel4_arch_include/arm_hyp: -------------------------------------------------------------------------------- 1 | aarch32/ -------------------------------------------------------------------------------- /libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/util.h -------------------------------------------------------------------------------- /libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/vspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/vspace.h -------------------------------------------------------------------------------- /libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/util.h -------------------------------------------------------------------------------- /libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/vspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/vspace.h -------------------------------------------------------------------------------- /libsel4utils/src/arch/riscv/arch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/arch/riscv/arch.c -------------------------------------------------------------------------------- /libsel4utils/src/elf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/elf.c -------------------------------------------------------------------------------- /libsel4utils/src/iommu_dma.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/iommu_dma.c -------------------------------------------------------------------------------- /libsel4utils/src/irq_server/irq_server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/irq_server/irq_server.c -------------------------------------------------------------------------------- /libsel4utils/src/mapping.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/mapping.c -------------------------------------------------------------------------------- /libsel4utils/src/page_dma.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/page_dma.c -------------------------------------------------------------------------------- /libsel4utils/src/process.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/process.c -------------------------------------------------------------------------------- /libsel4utils/src/profile.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/profile.c -------------------------------------------------------------------------------- /libsel4utils/src/sel4_arch/aarch32/arch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/sel4_arch/aarch32/arch.c -------------------------------------------------------------------------------- /libsel4utils/src/sel4_arch/aarch64/arch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/sel4_arch/aarch64/arch.c -------------------------------------------------------------------------------- /libsel4utils/src/sel4_arch/arm_hyp: -------------------------------------------------------------------------------- 1 | aarch32/ -------------------------------------------------------------------------------- /libsel4utils/src/sel4_arch/ia32/arch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/sel4_arch/ia32/arch.c -------------------------------------------------------------------------------- /libsel4utils/src/sel4_arch/x86_64/arch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/sel4_arch/x86_64/arch.c -------------------------------------------------------------------------------- /libsel4utils/src/slab.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/slab.c -------------------------------------------------------------------------------- /libsel4utils/src/stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/stack.c -------------------------------------------------------------------------------- /libsel4utils/src/strerror.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/strerror.c -------------------------------------------------------------------------------- /libsel4utils/src/thread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/thread.c -------------------------------------------------------------------------------- /libsel4utils/src/time_server/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/time_server/client.c -------------------------------------------------------------------------------- /libsel4utils/src/vspace/bootstrap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/vspace/bootstrap.c -------------------------------------------------------------------------------- /libsel4utils/src/vspace/vspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4utils/src/vspace/vspace.c -------------------------------------------------------------------------------- /libsel4vka/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4vka/arch_include/arm/vka/arch/kobject_t.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/arch_include/arm/vka/arch/kobject_t.h -------------------------------------------------------------------------------- /libsel4vka/arch_include/arm/vka/arch/object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/arch_include/arm/vka/arch/object.h -------------------------------------------------------------------------------- /libsel4vka/arch_include/riscv/vka/arch/kobject_t.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/arch_include/riscv/vka/arch/kobject_t.h -------------------------------------------------------------------------------- /libsel4vka/arch_include/riscv/vka/arch/object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/arch_include/riscv/vka/arch/object.h -------------------------------------------------------------------------------- /libsel4vka/arch_include/x86/vka/arch/kobject_t.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/arch_include/x86/vka/arch/kobject_t.h -------------------------------------------------------------------------------- /libsel4vka/arch_include/x86/vka/arch/object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/arch_include/x86/vka/arch/object.h -------------------------------------------------------------------------------- /libsel4vka/include/vka/capops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/include/vka/capops.h -------------------------------------------------------------------------------- /libsel4vka/include/vka/cspacepath_t.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/include/vka/cspacepath_t.h -------------------------------------------------------------------------------- /libsel4vka/include/vka/debug-vka.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/include/vka/debug-vka.h -------------------------------------------------------------------------------- /libsel4vka/include/vka/ipcbuffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/include/vka/ipcbuffer.h -------------------------------------------------------------------------------- /libsel4vka/include/vka/kobject_t.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/include/vka/kobject_t.h -------------------------------------------------------------------------------- /libsel4vka/include/vka/null-vka.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/include/vka/null-vka.h -------------------------------------------------------------------------------- /libsel4vka/include/vka/object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/include/vka/object.h -------------------------------------------------------------------------------- /libsel4vka/include/vka/object_capops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/include/vka/object_capops.h -------------------------------------------------------------------------------- /libsel4vka/include/vka/vka.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/include/vka/vka.h -------------------------------------------------------------------------------- /libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/kobject_t.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/kobject_t.h -------------------------------------------------------------------------------- /libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/object.h -------------------------------------------------------------------------------- /libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/kobject_t.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/kobject_t.h -------------------------------------------------------------------------------- /libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/object.h -------------------------------------------------------------------------------- /libsel4vka/sel4_arch_include/arm_hyp: -------------------------------------------------------------------------------- 1 | aarch32/ -------------------------------------------------------------------------------- /libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/kobject_t.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/kobject_t.h -------------------------------------------------------------------------------- /libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/object.h -------------------------------------------------------------------------------- /libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/kobject_t.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/kobject_t.h -------------------------------------------------------------------------------- /libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/object.h -------------------------------------------------------------------------------- /libsel4vka/src/debug-vka.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/src/debug-vka.c -------------------------------------------------------------------------------- /libsel4vka/src/null-vka.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vka/src/null-vka.c -------------------------------------------------------------------------------- /libsel4vspace/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4vspace/arch_include/arm/vspace/arch/page.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/arch_include/arm/vspace/arch/page.h -------------------------------------------------------------------------------- /libsel4vspace/arch_include/riscv/vspace/arch/page.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/arch_include/riscv/vspace/arch/page.h -------------------------------------------------------------------------------- /libsel4vspace/arch_include/x86/vspace/arch/page.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/arch_include/x86/vspace/arch/page.h -------------------------------------------------------------------------------- /libsel4vspace/include/vspace/mapping.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/include/vspace/mapping.h -------------------------------------------------------------------------------- /libsel4vspace/include/vspace/page.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/include/vspace/page.h -------------------------------------------------------------------------------- /libsel4vspace/include/vspace/vspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/include/vspace/vspace.h -------------------------------------------------------------------------------- /libsel4vspace/src/arch/arm/mapping.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/src/arch/arm/mapping.c -------------------------------------------------------------------------------- /libsel4vspace/src/arch/riscv/mapping.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/src/arch/riscv/mapping.c -------------------------------------------------------------------------------- /libsel4vspace/src/arch/x86/mapping.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/src/arch/x86/mapping.c -------------------------------------------------------------------------------- /libsel4vspace/src/sel4_arch/aarch32/mapping.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/src/sel4_arch/aarch32/mapping.c -------------------------------------------------------------------------------- /libsel4vspace/src/sel4_arch/aarch64/mapping.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/src/sel4_arch/aarch64/mapping.c -------------------------------------------------------------------------------- /libsel4vspace/src/sel4_arch/arm_hyp: -------------------------------------------------------------------------------- 1 | aarch32 -------------------------------------------------------------------------------- /libsel4vspace/src/sel4_arch/ia32/mapping.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/src/sel4_arch/ia32/mapping.c -------------------------------------------------------------------------------- /libsel4vspace/src/sel4_arch/x86_64/mapping.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/src/sel4_arch/x86_64/mapping.c -------------------------------------------------------------------------------- /libsel4vspace/src/vspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_libs/HEAD/libsel4vspace/src/vspace.c --------------------------------------------------------------------------------