files.minersonline.uk - /archived/other/osdev/GTMOS/gnu-efi/lib/ia32/

[To Parent Directory]

10/19/2024 10:41 AM           50 efi_stub.S
10/19/2024 10:41 AM          275 initplat.c
10/19/2024 10:41 AM         3913 math.c
10/19/2024 10:41 AM         1008 setjmp.S