| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| boot-screens/ | - | December 12, 2022 |
| grub/ | - | December 12, 2022 |
| pxelinux.cfg/ | - | December 12, 2022 |
| initrd.gz | 25.0 MiB | December 12, 2022 |
| linux | 4.7 MiB | December 12, 2022 |
| grubia32.efi | 3.3 MiB | December 12, 2022 |
| bootnetia32.efi | 729.5 KiB | December 12, 2022 |
| pxelinux.0 | 41.4 KiB | December 12, 2022 |