system: Add u-boot-puma-rk3399.
authorVagrant Cascadian <vagrant@debian.org>
Tue, 29 May 2018 04:10:15 +0000 (21:10 -0700)
committerDanny Milosavljevic <dannym@scratchpost.org>
Tue, 29 May 2018 08:46:13 +0000 (10:46 +0200)
commit6fe165770539a4551b303dc5cd52db6c51c7604a
treeae271a8af36d02daabaae9935151decbcc88e2c3
parent2a49aee4d120cd3a8bfd855578f0b8832db88227
system: Add u-boot-puma-rk3399.

* gnu/packages/bootloaders.scm (u-boot-puma-rk3399): New variable.
(make-u-boot-package)[arguments]: Add '.rksd' files to the files installed
during custom 'install phase.
* gnu/bootloader/u-boot.scm (u-boot-puma-rk3399-bootloader):
New exported variable.
* gnu/system/install.scm (rk3399-puma-installation-os):
New exported variable.
* gnu/packages/firmware.scm (arm-trusted-firmware-puma-rk3399): New variable.
(rk3399-cortex-m0): New variable.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
gnu/bootloader/u-boot.scm
gnu/packages/bootloaders.scm
gnu/packages/firmware.scm
gnu/system/install.scm