Pinned Loading

1. au-ts/lionsos au-ts/lionsos Public

   A secure, fast, and adaptable OS based on the seL4 microkernel

   C 203 33

2. seL4/microkit seL4/microkit Public

   Microkit - A simple operating system framework for the seL4 microkernel

   Rust 164 64

3. au-ts/libvmm au-ts/libvmm Public

   A virtual machine monitor for the seL4 microkernel

   C 47 18

4. au-ts/sddf au-ts/sddf Public

   A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.

   C 38 27