Shea Levy e4630c1d41 grub: Allow setting the boot root explicitly ... If /boot is a btrfs subvolume, it will be on a different device than / but not be at the root from grub's perspective. This should be fixed in a nicer way by #2449, but that can't go into 14.04.		2014-05-01 10:56:55 -04:00
..
generations-dir
grub	grub: Allow setting the boot root explicitly	2014-05-01 10:56:55 -04:00
gummiboot
init-script
raspberrypi
efi.nix