Thomas Strobel d856841ba4 nixos trustedGRUB: add support for HP laptops		2015-12-22 03:12:30 +01:00
..
generations-dir	nixos: add a few missing type specifiers under boot.*	2015-02-28 09:19:23 +01:00
generic-extlinux-compatible	extlinux-conf-builder: Fix warning when building in chroot	2015-07-26 00:31:20 +03:00
grub	nixos trustedGRUB: add support for HP laptops	2015-12-22 03:12:30 +01:00
gummiboot
init-script	nixos: add a few missing type specifiers under boot.*	2015-02-28 09:19:23 +01:00
raspberrypi	Raspberry Pi 2 changes to make it boot.	2015-05-09 17:05:24 +00:00
efi.nix	nixos: fix some types	2015-09-18 18:48:50 +00:00
loader.nix