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
generic-extlinux-compatible
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