Ettore Di Giacinto d8f6cdef04 Fix duplicate install entry and switch to just installer-gui

2018-04-28 09:49:36 +02:00

..

grub

Fix duplicate install entry and switch to just installer-gui

2018-04-28 09:49:36 +02:00

memtest

[boot] update memtest86+ to 4.20

2011-10-12 18:14:28 +02:00

shellx64.efi

[boot] provide the x64 EFI Shell for convenience

2013-07-17 13:03:10 +02:00