system: Add u-boot-rock-4c-plus-rk3399.

* gnu/packages/bootloaders.scm (u-boot-rock-4c-plus-rk3399): New variable.
* gnu/bootloader/u-boot.scm (u-boot-rock-4c-plus-rk3399-bootloader):
  New exported variable.
* gnu/system/install.scm (rock-4c-plus-installation-os):
  New exported variable.

Change-Id: I37025b248178311ccf8246cb0e02ed9399f9c6ac
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
This commit is contained in:
Denis 'GNUtoo' Carikli 2025-03-21 00:48:58 +01:00 committed by Danny Milosavljevic
parent fa832b8a8e
commit d300b9f7f3
No known key found for this signature in database
GPG key ID: E71A35542C30BAA5
3 changed files with 18 additions and 0 deletions

View file

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