L4-inspired microkernel