src/sys/arch/sgi/stand/boot32
