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

..

raspberrypi-builder.nix

raspberrypi-bootloader: support Raspberry Pi 3 w/o U-Boot and explicitly support

2018-10-21 17:44:11 +03:00

raspberrypi-builder.sh

raspberrypi-bootloader: support Raspberry Pi 3 w/o U-Boot and explicitly support

2018-10-21 17:44:11 +03:00

raspberrypi.nix

raspberrypi-bootloader: pass initrd to kernel

2018-10-21 17:44:11 +03:00

uboot-builder.nix

raspberrypi-bootloader: support Raspberry Pi 3 w/o U-Boot and explicitly support

2018-10-21 17:44:11 +03:00

uboot-builder.sh

raspberrypi-bootloader: uboot: allow specification of target directory

2018-10-21 17:44:11 +03:00