| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| grub/ | - | 2018-Nov-07 11:10 |
| boot-screens/ | - | 2018-Nov-07 11:10 |
| pxelinux.cfg/ | - | 2018-Nov-07 11:10 |
| bootnetia32.efi | 302.0 KiB | 2018-Nov-07 11:10 |
| pxelinux.0 | 41.1 KiB | 2018-Nov-07 11:10 |
| initrd.gz | 22.2 MiB | 2018-Nov-07 11:10 |
| linux | 3.4 MiB | 2018-Nov-07 11:10 |