 Some microkernels simplify this by placing some key drivers inside the kernel (in violation of the minimality principle), LynxOS and the original Minix are examples.Some even include a file system in the kernel to simplify booting.A microkernel-based system may boot via multiboot compatible boot loader.