Pinned Repositories
AOS
Advanced Operating Systems project
AOS-manifest
Advanced Operating Systems project manifest
capDL-tool
DEPRECATED: This has been moved to https://github.com/seL4/capdl
elfloader-tool
DEPRECATED: This has been moved to https://github.com/seL4/seL4_tools
libcpio
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
libelf
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
libmuslc
DEPRECATED: This library has been moved to https://github.com/seL4/musllibc
libplatsupport
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
libsel4utils
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
sel4_riscv_vmm
An experimental RISCV VMM based on seL4 with RISCV hypervisor extension.
SEL4PROJ's Repositories
SEL4PROJ/libsel4utils
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
SEL4PROJ/capDL-tool
DEPRECATED: This has been moved to https://github.com/seL4/capdl
SEL4PROJ/libelf
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
SEL4PROJ/elfloader-tool
DEPRECATED: This has been moved to https://github.com/seL4/seL4_tools
SEL4PROJ/libcpio
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
SEL4PROJ/libmuslc
DEPRECATED: This library has been moved to https://github.com/seL4/musllibc
SEL4PROJ/chronos4.2
Fork of the Chronos tool
SEL4PROJ/libethdrivers
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
SEL4PROJ/capdl-loader-app
DEPRECATED: This has been moved to https://github.com/seL4/capdl
SEL4PROJ/libpci
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
SEL4PROJ/libsel4platsupport
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
SEL4PROJ/libsel4vmm
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
SEL4PROJ/libsel4vspace
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
SEL4PROJ/libutils
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
SEL4PROJ/common-tool
DEPRECATED: This has been moved to https://github.com/seL4/seL4_tools
SEL4PROJ/kbuild-tool
DEPRECATED: This has been moved to https://github.com/seL4/seL4_tools
SEL4PROJ/libsel4debug
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
SEL4PROJ/libsel4sync
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
SEL4PROJ/libsel4vka
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
SEL4PROJ/rust-camkes-samples
Sample camkes applications using rust
SEL4PROJ/camkes-sc-tests
SEL4PROJ/libsel4allocman
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
SEL4PROJ/libsel4bench
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
SEL4PROJ/libsel4simple
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
SEL4PROJ/libsel4simple-default
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
SEL4PROJ/libsel4simple-stable
DEPRECATED. Implementation of simple interface for the experimental branch of seL4.
SEL4PROJ/libsel4test
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
SEL4PROJ/python-capdl-tool
DEPRECATED: This has been moved to https://github.com/seL4/capdl
SEL4PROJ/seL4_rust_libs
Rust support libraries for seL4
SEL4PROJ/xargo
Effortless cross compilation of Rust programs to custom bare-metal targets like ARM Cortex-M