GitHub repository: wang-xianghao/lionsos
Primary language: C
Description: A secure, fast, and adaptable OS based on the seL4 microkernel