L4-inspired microkernel in C