Basic files for a bootloader and a simple kernel