| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| Makefile | 62 | 2013-Mar-19 18:28 |
| efi.c | 21161 | 2013-Mar-19 18:28 |
| efi_32.c | 1754 | 2013-Mar-19 18:28 |
| efi_64.c | 2544 | 2013-Mar-19 18:28 |
| efi_stub_32.S | 2784 | 2013-Mar-19 18:28 |
| efi_stub_64.S | 1865 | 2013-Mar-19 18:28 |