3 files changed, 18 insertions, 0 deletions

diff --git a/gnu/bootloader/u-boot.scm b/gnu/bootloader/u-boot.scm
index 5bcdbe1a3d7..fc3e1baf162 100644
--- a/gnu/bootloader/u-boot.scm
+++ b/gnu/bootloader/u-boot.scm
@@ -47,6 +47,7 @@
             u-boot-pinebook-bootloader
             u-boot-pinebook-pro-rk3399-bootloader
             u-boot-puma-rk3399-bootloader
+            u-boot-rock-4c-plus-rk3399-bootloader
             u-boot-rock64-rk3328-bootloader
             u-boot-rockpro64-rk3399-bootloader
             u-boot-sifive-unmatched-bootloader
@@ -252,6 +253,11 @@ is BLOCK-SIZE * COUNT, or FILE size if COUNT is not given."
    (package u-boot-puma-rk3399)
    (disk-image-installer install-puma-rk3399-u-boot)))
 
+(define u-boot-rock-4c-plus-rk3399-bootloader
+  (bootloader
+   (inherit u-boot-rockchip-bootloader)
+   (package u-boot-rock-4c-plus-rk3399)))
+
 (define u-boot-rock64-rk3328-bootloader
   (bootloader
    (inherit u-boot-rockchip-bootloader)
diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm
index b0f992654e4..55b6ef70993 100644
--- a/gnu/packages/bootloaders.scm
+++ b/gnu/packages/bootloaders.scm
@@ -1492,6 +1492,13 @@ Documentation} for more information (for example by running @samp{info
 (define-public u-boot-firefly-rk3399
   (make-u-boot-rockchip-package "firefly" 'rk3399))
 
+(define-public u-boot-rock-4c-plus-rk3399
+  (let ((base (make-u-boot-rockchip-package
+               "rock-4c-plus" 'rk3399
+               '("CONFIG_USB=y"))))
+    (package
+      (inherit base))))
+
 (define-public u-boot-rockpro64-rk3399
   (let ((base (make-u-boot-rockchip-package
                "rockpro64" 'rk3399
diff --git a/gnu/system/install.scm b/gnu/system/install.scm
index c71a533c8e2..ea2e624b1a1 100644
--- a/gnu/system/install.scm
+++ b/gnu/system/install.scm
@@ -683,6 +683,11 @@ The bootloader BOOTLOADER is installed to BOOTLOADER-TARGET."
                             "/dev/mmcblk0" ; SD card/eMMC (SD priority) storage
                             "ttyS2")) ; UART2 connected on the Pi2 bus
 
+(define rock-4c-plus-installation-os
+  (embedded-installation-os u-boot-rock-4c-plus-rk3399-bootloader
+                            "/dev/mmcblk0" ; SD card storage
+                            "ttyS2")) ;; Default UART as per the Linux DTS.
+
 (define rockpro64-installation-os
   (embedded-installation-os u-boot-rockpro64-rk3399-bootloader
                             "/dev/mmcblk0" ; SD card/eMMC (SD priority) storage