diff --git a/hosts/modules/hal/rpi-400.nix b/hosts/modules/hal/rpi-400.nix index 7491a3d82..f55aa66cd 100644 --- a/hosts/modules/hal/rpi-400.nix +++ b/hosts/modules/hal/rpi-400.nix @@ -7,6 +7,13 @@ in sane.hal.rpi-400.enable = lib.mkEnableOption "Raspberry Pi 400 hardware support"; }; config = lib.mkIf cfg.enable { - sane.image.extraBootFiles = [ pkgs.bootpart-u-boot-rpi-aarch64 ]; + sane.image.extraBootFiles = [ + # rpi bootrom -> edk2 -> systemd-boot + # edk2 exists here to provide the base UEFI environment which systemd-boot expects + pkgs.bootpart-edk2-rpi + pkgs.bootpart-systemd-boot + ]; + #v used by systemd-boot + hardware.deviceTree.name = "broadcom/bcm2711-rpi-400.dtb"; }; }