Ben Wolsieffer eadb9c822b raspberrypi-bootloader: pass initrd to kernel ... NixOS is unable to boot using the RPi bootloader (w/o U-Boot) unless the initrd is configured.		2018-10-21 17:44:11 +03:00
..
generations-dir	treewide: Purge stdenv.platform and top-level platform	2018-08-20 15:22:46 -04: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	install-grub.pl: avoid double '/' in menu.lst and grub.conf (#45907)	2018-09-02 14:34:55 +02:00
init-script	init-script-builder: handle containers without a kernel	2016-02-10 23:27:28 +00:00
raspberrypi	raspberrypi-bootloader: pass initrd to kernel	2018-10-21 17:44:11 +03:00
systemd-boot	nixos/systemd-boot: Add missing newline	2018-08-12 15:12:27 +02:00
efi.nix	Use systemd-boot instead of gummiboot	2016-05-31 17:02:47 +02:00
loader.nix	[bot] nixos/*: remove unused arguments in lambdas	2018-07-20 20:56:59 +00:00