From eadb9c822b3ffe13c461c086400f3d0584893b5c Mon Sep 17 00:00:00 2001
From: Ben Wolsieffer <benwolsieffer@gmail.com>
Date: Sun, 23 Sep 2018 17:40:12 -0400
Subject: raspberrypi-bootloader: pass initrd to kernel

NixOS is unable to boot using the RPi bootloader (w/o U-Boot) unless the initrd
is configured.
---
 nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'nixos')

diff --git a/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix b/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix
index 17c09d7c4f60..7e089507ff20 100644
--- a/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix
+++ b/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix
@@ -38,6 +38,7 @@ let
       kernel=u-boot-rpi.bin
     '' else ''
       kernel=kernel.img
+      initramfs initrd followkernel
     '') + optional (cfg.firmwareConfig != null) cfg.firmwareConfig);
 
 in
-- 
cgit 1.4.1