raspberrypi-bootloader: pass initrd to kernel

NixOS is unable to boot using the RPi bootloader (w/o U-Boot) unless the initrd
is configured.
This commit is contained in:
Ben Wolsieffer 2018-09-23 17:40:12 -04:00 committed by Tuomas Tynkkynen
parent e2fbada6f8
commit eadb9c822b

View file

@ -38,6 +38,7 @@ let
kernel=u-boot-rpi.bin
'' else ''
kernel=kernel.img
initramfs initrd followkernel
'') + optional (cfg.firmwareConfig != null) cfg.firmwareConfig);
in