The bootloader used for the ARM port - Automatically replicated from gerrit.minix3.org - View it on GitHub