diff options
| -rw-r--r-- | gnu/packages/bootloaders.scm | 1 | ||||
| -rw-r--r-- | gnu/packages/firmware.scm | 3 |
2 files changed, 4 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)))))))) diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index 63f767f72bf..2cd3908b0de 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -1187,6 +1187,9 @@ interface standards, such as: (prepend (cross-gcc "arm-none-eabi") (cross-binutils "arm-none-eabi"))))))) +(define-public arm-trusted-firmware-rk3588 + (make-arm-trusted-firmware "rk3588")) + (define-public arm-trusted-firmware-imx8mq ;; Remove debug symbols because of limited OCRAM. (make-arm-trusted-firmware "imx8mq" #:make-flags '())) |