diff options
Diffstat (limited to 'gnu/packages/bootloaders.scm')
| -rw-r--r-- | gnu/packages/bootloaders.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm index fcdd3abbba1..8ece61f11c3 100644 --- a/gnu/packages/bootloaders.scm +++ b/gnu/packages/bootloaders.scm @@ -1167,6 +1167,7 @@ CONFIG_TOOLS_KWBIMAGE=n")))) (setenv "BL31" (search-input-file inputs "/bl31.elf")))))))) (inputs (modify-inputs (package-inputs base) (append (match soc + ('rk3588 arm-trusted-firmware-rk3588) ('rk3399 arm-trusted-firmware-rk3399) ('rk3328 arm-trusted-firmware-rk3328)))))))) |