use config.system.boot.loader.kernelFile

This commit is contained in:
Travis Staton 2024-11-04 22:57:26 -05:00
parent 5c1f3831f9
commit 61d43e92fd
No known key found for this signature in database
GPG key ID: E883E53CDAC16260
2 changed files with 3 additions and 3 deletions

View file

@ -102,7 +102,7 @@ in
TARGET_FIRMWARE_DIR="${firmware-path}"
TARGET_OVERLAYS_DIR="$TARGET_FIRMWARE_DIR/overlays"
TMPFILE="$TARGET_FIRMWARE_DIR/tmp"
KERNEL="${kernel}/Image"
KERNEL="${kernel}/${config.system.boot.loader.kernelFile}"
SHOULD_UBOOT=${if cfg.uboot.enable then "1" else "0"}
SRC_FIRMWARE_DIR="${pkgs.raspberrypifw}/share/raspberrypi/boot"
STARTFILES=("$SRC_FIRMWARE_DIR"/start*.elf)