Pinned Repositories
libmicrokitco
lionsos
A secure, fast, and adaptable OS based on the seL4 microkernel
sddf
A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
sdcard-emmc-rs
The_Wumpus_World