| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| Makefile | 62 | 2014-Jul-26 08:30 |
| efi.c | 24913 | 2014-Jul-26 08:30 |
| efi_32.c | 1754 | 2014-Jul-26 08:30 |
| efi_64.c | 2917 | 2014-Jul-26 08:30 |
| efi_stub_32.S | 2784 | 2014-Jul-26 08:30 |
| efi_stub_64.S | 1865 | 2014-Jul-26 08:30 |