Axel Heider's repositories
camkes-tool
The main CAmkES tool
camkes-vm
Virtual Machine built as a CAmkES component.
camkes-vm-images
Precompiled kernels etc. for use with camkes VMs.
ci-actions
CI GitHub actions for the seL4 repositories
cla-sign
Please open pr to sign CLA
docs-1
The open-source repo for docs.github.com
libgdb
Experimental library and infrastructure for using GDB with the seL4 microkernel
libvmm
An experimental virtual machine monitor for the seL4 microkernel
lionsos
A secure, fast, and adaptable OS based on the seL4 microkernel
opensbi
RISC-V Open Source Supervisor Binary Interface
riscv-cheri
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
riscv-profiles
RISC-V Architecture Profiles
riscv-sbi-doc
Documentation for the RISC-V Supervisor Binary Interface
riscv-security-model
RISC-V Security Model
seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
sel4runtime
A minimal runtime for seL4 applications.
sel4test
Test suite for seL4.
sel4webserver
An seL4 reference webserver application