-
lionsos Public
Forked from au-ts/lionsosA secure, fast, and adaptable OS based on the seL4 microkernel
C BSD 2-Clause "Simplified" License UpdatedJun 18, 2025 -
microkit_sdf_gen Public
Forked from au-ts/microkit_sdf_genExperimenting with higher-level tooling for the seL4 Microkit
Zig UpdatedJun 12, 2025 -
sddf Public
Forked from au-ts/sddfA collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
C Other UpdatedJun 7, 2025 -
-
DADAO-SimRISC project, forked for developing purpose
C UpdatedJan 24, 2025 -
-
seL4_libs-core-tagged Public archive
This is a dummy fork for seL4_libs, just for developing core-tagged object.
C Other UpdatedOct 12, 2024 -
seL4_libs-vbtalloc-extension Public archive
Forked from seL4/seL4_libsExtension provided (libsel4allocman-vbtalloc-ext/libsel4vka-vbtalloc-ext)
-
seL4_projects_libs-vbtalloc-extension Public
Forked from seL4/seL4_projects_libs -
-
camkes-vm-vbtalloc-extension Public
Forked from seL4/camkes-vmVirtual Machine built as a CAmkES component (with CapBuddy support)
C Other UpdatedAug 9, 2023 -
sel4test-vbtalloc-unitest Public
Framework for executing CapBuddy related unitests based on sel4test for seL4 LibOS
C UpdatedJul 24, 2023 -
document-style-guide Public
Forked from ruanyf/document-style-guide中文技术文档的写作规范
UpdatedSep 14, 2022
{{ message }}