/src/arch/i386/firmware/
../
pcbios