A mini bootloader to boot the OS