| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| isolinux/ | - | 2018-Oct-31 09:14 |
| pxelinux/ | - | 2018-Aug-24 12:48 |
| efiboot.img | 2.0 MiB | 2018-Aug-24 12:48 |
| gcdx64.efi | 984.5 KiB | 2018-Aug-24 12:48 |
| grubx64.efi | 984.5 KiB | 2018-Aug-24 12:48 |
| vmlinuz | 4.6 MiB | 2018-Aug-24 12:48 |
| xen.gz | 1.0 MiB | 2018-Aug-24 12:48 |