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