Managarm: Pragmatic microkernel-based OS with asynchronous I/Ogithub.com/managarm160 pointsksp-atlas2 years ago