simple kernel and bootloader