L4-inspired microkernel in Assembly