../ Makefile,v 02-Aug-2025 02:03 14560 efiboot_machdep.h,v 02-Aug-2025 02:03 12027 efibootia32.c,v 02-Aug-2025 02:03 41119 ldscript,v 02-Aug-2025 02:03 12085 multiboot32.S,v 02-Aug-2025 02:03 13150 start.S,v 02-Aug-2025 02:03 18920 startprog32.S,v 02-Aug-2025 02:03 41592