Microkernel loading ...