Popular repositories Loading

1. cogent cogent Public

   Cogent Project

   Isabelle 165 26

2. lionsos lionsos Public

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

   C 136 20

3. libvmm libvmm Public

   An experimental virtual machine monitor for the seL4 microkernel

   C 40 16

4. sddf 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 32 23

5. microkit_tutorial microkit_tutorial Public

   A tutorial for learning the seL4 Microkit

   C 9 8

6. ipbench ipbench Public

   A benchmark suite for repeatable and reliable testing of IP networks.

   C 4 4