Managarm

Microkernel-based OS with consistent asynchronous I/O
Is freely licensed? ✅
Website https://github.com/managarm/managarm
Source https://github.com/managarm/managarm
NLNet grant pages