Eelco Dolstra f222689aba Use systemd-boot instead of gummiboot ... Gummiboot is part of systemd now so we may as well use it.		2016-05-31 17:02:47 +02:00
..
generations-dir	nixos: add a few missing type specifiers under boot.*	2015-02-28 09:19:23 +01:00
generic-extlinux-compatible	nixos: introduce system.nixosLabel option and use it where appropriate	2016-01-08 22:26:15 +00:00
grub	Use systemd-boot instead of gummiboot	2016-05-31 17:02:47 +02:00
gummiboot	Use systemd-boot instead of gummiboot	2016-05-31 17:02:47 +02:00
init-script	init-script-builder: handle containers without a kernel	2016-02-10 02:05:47 +03:00
raspberrypi	Raspberry Pi 2 changes to make it boot.	2015-05-09 17:05:24 +00:00
efi.nix	Use systemd-boot instead of gummiboot	2016-05-31 17:02:47 +02:00
loader.nix	nixos: loader: added generic config.boot.loader.timeout option	2015-01-30 09:53:44 +01:00