malus-brandywine
Follow
Stars
Hypervisorless virtio build environment for Xilinx ZCU102 with Petalinux and Zephyr as auxiliary runtime
A secure, fast, and adaptable OS based on the seL4 microkernel
A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
An experimental virtual machine monitor for the seL4 microkernel
Ivan-Velickovic / microkit
Forked from seL4/microkitMicrokit - A simple operating system framework for the seL4 microkernel
Manifest of the seL4bench project, which contains microbenchmarks for seL4.
Tutorials for working with seL4 and/or CAmkES.
Microkit - A simple operating system framework for the seL4 microkernel
Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.