![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | grub-embedded.cfg | 2013-09-23 22:35 | 78 | |
![]() | grub.cfg | 2018-04-17 23:17 | 893 | |
![]() | tools.cfg | 2013-08-12 23:08 | 1.2K | |
![]() | make-grub.sh | 2019-07-05 20:54 | 2.4K | |
![]() | osdetect.cfg | 2013-09-21 21:02 | 10K | |
![]() | bootx64.efi | 2024-06-23 20:50 | 1.1M | |
![]() | huge.s | 2024-08-14 20:18 | 15M | |
![]() | initrd.img | 2024-08-14 21:34 | 52M | |