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