Thomas Strobel 66c73da5f9 Fix grub for "nodev" targets.		2015-04-18 19:22:25 +02:00
..
generations-dir	nixos: add a few missing type specifiers under boot.*	2015-02-28 09:19:23 +01:00
grub	Fix grub for "nodev" targets.	2015-04-18 19:22:25 +02:00
gummiboot
init-script	nixos: add a few missing type specifiers under boot.*	2015-02-28 09:19:23 +01:00
raspberrypi	nixos: add a few missing type specifiers under boot.*	2015-02-28 09:19:23 +01:00
efi.nix
loader.nix