├── .github ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md └── workflows │ ├── hw-tests.yml │ ├── pr.yml │ ├── push.yml │ ├── sel4test-sim.yml │ └── trigger.yml ├── .licenseignore ├── CMakeLists.txt ├── LICENSE.md ├── LICENSES ├── BSD-2-Clause.txt └── CC-BY-SA-4.0.txt ├── README.md ├── apps ├── sel4test-driver │ ├── CMakeLists.txt │ ├── include │ │ └── test_init_data.h │ ├── scripts │ │ ├── README │ │ ├── clean-log.sh │ │ ├── coverage.py │ │ ├── csvify.sh │ │ ├── filter-results.py │ │ ├── generate-csv.pl │ │ ├── generate-spread.pl │ │ ├── match-data.pl │ │ └── parselog.sh │ └── src │ │ ├── arch │ │ └── arm │ │ │ └── arch.c │ │ ├── main.c │ │ ├── plat │ │ ├── exynos5 │ │ │ └── plat.c │ │ ├── imx6 │ │ │ └── plat.c │ │ └── pc99 │ │ │ └── plat.c │ │ ├── test.h │ │ ├── tests │ │ ├── interrupt.c │ │ ├── smmu.c │ │ ├── syscall.c │ │ └── timer.c │ │ ├── testtypes.c │ │ ├── timer.c │ │ └── timer.h └── sel4test-tests │ ├── CMakeLists.txt │ ├── arch │ ├── arm │ │ └── arch │ │ │ └── debug.h │ ├── riscv │ │ └── arch_frame_type.h │ └── x86 │ │ └── arch │ │ └── debug.h │ ├── include │ └── test_init_data.h │ ├── scripts │ └── generate-kernel-symbols.sh │ ├── sel4_arch │ ├── aarch32 │ │ └── arch_frame_type.h │ ├── aarch64 │ │ └── arch_frame_type.h │ ├── ia32 │ │ └── arch_frame_type.h │ └── x86_64 │ │ └── arch_frame_type.h │ └── src │ ├── arch │ ├── arm │ │ └── arch.c │ └── x86 │ │ ├── arch.c │ │ └── tests │ │ ├── alignment.c │ │ ├── alignment_asm.S │ │ └── ept.c │ ├── helpers.c │ ├── helpers.h │ ├── init.h │ ├── main.c │ ├── test.h │ └── tests │ ├── benchmark_api.c │ ├── binding.c │ ├── breakpoints.c │ ├── breakpoints.h │ ├── cache.c │ ├── cnodeops.c │ ├── cspace.c │ ├── domains.cxx │ ├── endpoints.c │ ├── faults.c │ ├── fpu.c │ ├── frame_type.h │ ├── frames.c │ ├── inc_untyped.c │ ├── interrupt.c │ ├── ioports.c │ ├── iopt.c │ ├── ipc.c │ ├── ipc_rights.c │ ├── multicore.c │ ├── nbwait.c │ ├── pagetables.c │ ├── preempt.c │ ├── regressions.S │ ├── regressions.c │ ├── schedcontext.c │ ├── scheduler.c │ ├── serial_server.c │ ├── smc.c │ ├── sync.c │ ├── threads.c │ ├── tls.c │ ├── trivial.c │ ├── vcpu.c │ └── vspace.c ├── docs └── design.md ├── domain_schedule.c ├── easy-settings.cmake ├── libsel4testsupport ├── CMakeLists.txt ├── include │ └── sel4testsupport │ │ └── testreporter.h └── src │ └── testreporter.c └── settings.cmake /.github/CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/.github/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /.github/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/.github/CONTRIBUTING.md -------------------------------------------------------------------------------- /.github/workflows/hw-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/.github/workflows/hw-tests.yml -------------------------------------------------------------------------------- /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.github/workflows/push.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/.github/workflows/push.yml -------------------------------------------------------------------------------- /.github/workflows/sel4test-sim.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/.github/workflows/sel4test-sim.yml -------------------------------------------------------------------------------- /.github/workflows/trigger.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/.github/workflows/trigger.yml -------------------------------------------------------------------------------- /.licenseignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/.licenseignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/LICENSE.md -------------------------------------------------------------------------------- /LICENSES/BSD-2-Clause.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/LICENSES/BSD-2-Clause.txt -------------------------------------------------------------------------------- /LICENSES/CC-BY-SA-4.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/LICENSES/CC-BY-SA-4.0.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/README.md -------------------------------------------------------------------------------- /apps/sel4test-driver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/CMakeLists.txt -------------------------------------------------------------------------------- /apps/sel4test-driver/include/test_init_data.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/include/test_init_data.h -------------------------------------------------------------------------------- /apps/sel4test-driver/scripts/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/scripts/README -------------------------------------------------------------------------------- /apps/sel4test-driver/scripts/clean-log.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/scripts/clean-log.sh -------------------------------------------------------------------------------- /apps/sel4test-driver/scripts/coverage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/scripts/coverage.py -------------------------------------------------------------------------------- /apps/sel4test-driver/scripts/csvify.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/scripts/csvify.sh -------------------------------------------------------------------------------- /apps/sel4test-driver/scripts/filter-results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/scripts/filter-results.py -------------------------------------------------------------------------------- /apps/sel4test-driver/scripts/generate-csv.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/scripts/generate-csv.pl -------------------------------------------------------------------------------- /apps/sel4test-driver/scripts/generate-spread.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/scripts/generate-spread.pl -------------------------------------------------------------------------------- /apps/sel4test-driver/scripts/match-data.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/scripts/match-data.pl -------------------------------------------------------------------------------- /apps/sel4test-driver/scripts/parselog.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/scripts/parselog.sh -------------------------------------------------------------------------------- /apps/sel4test-driver/src/arch/arm/arch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/src/arch/arm/arch.c -------------------------------------------------------------------------------- /apps/sel4test-driver/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/src/main.c -------------------------------------------------------------------------------- /apps/sel4test-driver/src/plat/exynos5/plat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/src/plat/exynos5/plat.c -------------------------------------------------------------------------------- /apps/sel4test-driver/src/plat/imx6/plat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/src/plat/imx6/plat.c -------------------------------------------------------------------------------- /apps/sel4test-driver/src/plat/pc99/plat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/src/plat/pc99/plat.c -------------------------------------------------------------------------------- /apps/sel4test-driver/src/test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/src/test.h -------------------------------------------------------------------------------- /apps/sel4test-driver/src/tests/interrupt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/src/tests/interrupt.c -------------------------------------------------------------------------------- /apps/sel4test-driver/src/tests/smmu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/src/tests/smmu.c -------------------------------------------------------------------------------- /apps/sel4test-driver/src/tests/syscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/src/tests/syscall.c -------------------------------------------------------------------------------- /apps/sel4test-driver/src/tests/timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/src/tests/timer.c -------------------------------------------------------------------------------- /apps/sel4test-driver/src/testtypes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/src/testtypes.c -------------------------------------------------------------------------------- /apps/sel4test-driver/src/timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/src/timer.c -------------------------------------------------------------------------------- /apps/sel4test-driver/src/timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-driver/src/timer.h -------------------------------------------------------------------------------- /apps/sel4test-tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/CMakeLists.txt -------------------------------------------------------------------------------- /apps/sel4test-tests/arch/arm/arch/debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/arch/arm/arch/debug.h -------------------------------------------------------------------------------- /apps/sel4test-tests/arch/riscv/arch_frame_type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/arch/riscv/arch_frame_type.h -------------------------------------------------------------------------------- /apps/sel4test-tests/arch/x86/arch/debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/arch/x86/arch/debug.h -------------------------------------------------------------------------------- /apps/sel4test-tests/include/test_init_data.h: -------------------------------------------------------------------------------- 1 | ../../sel4test-driver/include/test_init_data.h -------------------------------------------------------------------------------- /apps/sel4test-tests/scripts/generate-kernel-symbols.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/scripts/generate-kernel-symbols.sh -------------------------------------------------------------------------------- /apps/sel4test-tests/sel4_arch/aarch32/arch_frame_type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/sel4_arch/aarch32/arch_frame_type.h -------------------------------------------------------------------------------- /apps/sel4test-tests/sel4_arch/aarch64/arch_frame_type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/sel4_arch/aarch64/arch_frame_type.h -------------------------------------------------------------------------------- /apps/sel4test-tests/sel4_arch/ia32/arch_frame_type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/sel4_arch/ia32/arch_frame_type.h -------------------------------------------------------------------------------- /apps/sel4test-tests/sel4_arch/x86_64/arch_frame_type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/sel4_arch/x86_64/arch_frame_type.h -------------------------------------------------------------------------------- /apps/sel4test-tests/src/arch/arm/arch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/arch/arm/arch.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/arch/x86/arch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/arch/x86/arch.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/arch/x86/tests/alignment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/arch/x86/tests/alignment.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/arch/x86/tests/alignment_asm.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/arch/x86/tests/alignment_asm.S -------------------------------------------------------------------------------- /apps/sel4test-tests/src/arch/x86/tests/ept.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/arch/x86/tests/ept.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/helpers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/helpers.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/helpers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/helpers.h -------------------------------------------------------------------------------- /apps/sel4test-tests/src/init.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/init.h -------------------------------------------------------------------------------- /apps/sel4test-tests/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/main.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/test.h -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/benchmark_api.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/benchmark_api.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/binding.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/binding.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/breakpoints.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/breakpoints.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/breakpoints.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/breakpoints.h -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/cache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/cache.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/cnodeops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/cnodeops.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/cspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/cspace.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/domains.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/domains.cxx -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/endpoints.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/endpoints.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/faults.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/faults.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/fpu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/fpu.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/frame_type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/frame_type.h -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/frames.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/frames.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/inc_untyped.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/inc_untyped.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/interrupt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/interrupt.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/ioports.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/ioports.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/iopt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/iopt.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/ipc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/ipc.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/ipc_rights.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/ipc_rights.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/multicore.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/multicore.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/nbwait.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/nbwait.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/pagetables.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/pagetables.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/preempt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/preempt.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/regressions.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/regressions.S -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/regressions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/regressions.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/schedcontext.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/schedcontext.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/scheduler.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/scheduler.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/serial_server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/serial_server.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/smc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/smc.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/sync.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/sync.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/threads.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/threads.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/tls.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/tls.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/trivial.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/trivial.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/vcpu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/vcpu.c -------------------------------------------------------------------------------- /apps/sel4test-tests/src/tests/vspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/apps/sel4test-tests/src/tests/vspace.c -------------------------------------------------------------------------------- /docs/design.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/docs/design.md -------------------------------------------------------------------------------- /domain_schedule.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/domain_schedule.c -------------------------------------------------------------------------------- /easy-settings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/easy-settings.cmake -------------------------------------------------------------------------------- /libsel4testsupport/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/libsel4testsupport/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4testsupport/include/sel4testsupport/testreporter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/libsel4testsupport/include/sel4testsupport/testreporter.h -------------------------------------------------------------------------------- /libsel4testsupport/src/testreporter.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/libsel4testsupport/src/testreporter.c -------------------------------------------------------------------------------- /settings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test/HEAD/settings.cmake --------------------------------------------------------------------------------