GitHub repository: Dennisbonke/managarm
Primary language: C++
Description: Pragmatic microkernel-based OS with fully asynchronous I/O