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