Florian Franzen e51a840259 grub: Support 32bit EFI on 64bit x86 platforms		2019-03-18 10:38:07 +01:00
..
grub.nix	grub: Support 32bit EFI on 64bit x86 platforms	2019-03-18 10:38:07 +01:00
install-grub.pl	install-grub.pl: avoid double '/' in menu.lst and grub.conf (#45907)	2018-09-02 14:34:55 +02:00
ipxe.nix
memtest.nix