Lluís Batlle i Rossell 3be4fd3f38 Making grub display 'All configurations', not 'Old' ... That confused some people, as the first generation shown is the 'current'.		2013-04-16 11:09:25 +02:00
..
efi-boot-stub	rename deprecated option	2013-03-04 22:46:06 +01:00
generations-dir
grub	Making grub display 'All configurations', not 'Old'	2013-04-16 11:09:25 +02:00
gummiboot	gummiboot: fix typo	2013-03-04 22:46:06 +01:00
init-script	Treat init-script as a boot loader	2012-07-25 11:30:16 -04:00
raspberrypi	Fixing the init= in raspberrypi loader.	2013-01-29 20:08:38 +01:00
efi.nix	gummiboot-builder.py: Update to latest gummiboot	2013-02-21 12:40:33 -05:00