Tuomas Tynkkynen 931706cdc1 extlinux-conf-builder: Choose whether to use DTBs on per-generation basis ... Previously, the value from stdenv.platform.kernelDTB was used. That doesn't work well if both kinds (DTB and non-DTB) of generations exist in the system profile.		2016-07-10 03:03:51 +03: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: Choose whether to use DTBs on per-generation basis	2016-07-10 03:03:51 +03:00
grub	nixos/grub: change state file device separator from ':' to ','	2016-07-06 00:11:57 +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
systemd-boot	Rename gummiboot module	2016-06-01 12:55:56 +02: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