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
..
activation	Merge branch 'master' into f/activation	2018-10-05 10:08:56 +08:00
boot	raspberrypi-bootloader: pass initrd to kernel	2018-10-21 17:44:11 +03:00
etc