src/sys/arch/pc532/stand/boot
