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

[To Parent Directory]

10/22/2024  3:04 PM           50 efi_stub.S
10/22/2024  3:04 PM          275 initplat.c
10/22/2024  3:04 PM         3913 math.c
10/22/2024  3:04 PM         1008 setjmp.S