Bastian Köcher 6ed495cf13 raspberrypi-bootloader: Adds firmwareConfig config option ...

The `firmwareConfig` option will be appended to `/boot/config.txt`.

2018-04-22 18:27:17 +03:00

..

generations-dir

fix indentation in several nixos option descriptions

2016-12-16 18:29:25 +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

Merge commit '3ab2949' from staging into master

2018-03-15 22:30:56 +02:00

init-script

…

raspberrypi

raspberrypi-bootloader: Adds firmwareConfig config option

2018-04-22 18:27:17 +03:00

systemd-boot

Include date and NixOS version in systemd-boot entries

2017-09-02 14:28:34 -04:00

efi.nix

…

loader.nix

…