Eelco Dolstra 4680af6a93 Add some option types		2013-10-30 14:57:42 +01:00
..
generations-dir
grub	Add some option types	2013-10-30 14:57:42 +01:00
gummiboot
init-script
raspberrypi
efi.nix