diff options
| -rw-r--r-- | gnu/bootloader/u-boot.scm | 6 | ||||
| -rw-r--r-- | gnu/packages/bootloaders.scm | 7 | ||||
| -rw-r--r-- | gnu/system/install.scm | 5 |
3 files changed, 18 insertions, 0 deletions
diff --git a/gnu/bootloader/u-boot.scm b/gnu/bootloader/u-boot.scm index 5bcdbe1a3d..fc3e1baf16 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 b0f992654e..55b6ef7099 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 c71a533c8e..ea2e624b1a 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 |