Doom ported to the seL4 microkernel