Managarm: Pragmatic microkernel-based OS with asynchronous I/O