L4_microkernel loading ...