gnu: Add arm-trusted-firmware-rk3588.

* gnu/packages/firmware.scm (arm-trusted-firmware-rk3588): New variable.
* gnu/packages/bootloaders.scm (make-u-boot-rockchip-package): Support
'rk3588.
This commit is contained in:
Vagrant Cascadian 2025-03-18 14:03:26 -07:00
parent a1e87abaa3
commit 25fc7f4fdd
No known key found for this signature in database
GPG key ID: DC518FC87F9716AA
2 changed files with 4 additions and 0 deletions

View file

@ -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))))))))

View file

@ -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 '()))