/gnu-efi-3.0/lib/ia32/

• ../
• efi_stub.S
• initplat.c
• math.c