Initial files for bootstrapping the kernel from a bootloader