dan 71ae514b81 gnu: bootloader: Add nanopi-r4s-rk3399 bootloader. ...

* gnu/bootloader/u-boot.scm (u-boot-nanopi-r4s-rk3399-bootloader): Add variable.
* gnu/packages/bootloaders.scm (u-boot-nanopi-r4s-rk3399): Add variable.

Change-Id: Ib7af37fff02d7e5a83928949835c03a5949927da
Signed-off-by: Vagrant Cascadian <vagrant@debian.org>

2025-11-03 12:44:46 -08:00

..

depthcharge.scm

…

extlinux.scm

bootloader: Add device-tree-support? option.

2022-08-30 08:50:44 +02:00

grub.scm

Reapply "Update Maxim's email address."

2025-09-18 13:44:12 +09:00

u-boot.scm

gnu: bootloader: Add nanopi-r4s-rk3399 bootloader.

2025-11-03 12:44:46 -08:00