managarm's tracked open-source repos, sorted by stars.
Pragmatic microkernel-based OS with fully asynchronous I/O
Portable C standard library
