gnu: Add arm-trusted-firmware-rk3399.
authorCaliph Nomble <nomble@palism.com>
Mon, 14 Oct 2019 06:01:36 +0000 (02:01 -0400)
committerVagrant Cascadian <vagrant@debian.org>
Fri, 18 Oct 2019 19:11:43 +0000 (12:11 -0700)
commit074554a2891830900e2ff9335799416723094fcb
treedbdd2ab2a954bef0f09a968d4ea6cc41c1589f9e
parenta90fd72bb03ae1644c19b5564e405abcc1086920
gnu: Add arm-trusted-firmware-rk3399.

* gnu/packages/bootloaders.scm (arm-trusted-firmware-rk3399): New exported
  variable.
* gnu/packages/firmware (make-arm-trusted-firmware): Also install .elf files.

Adjusted-by: Vagrant Cascadian <vagrant@debian.org>
Signed-off-by: Caliph Nomble <nomble@palism.com>
Signed-off-by: Vagrant Cascadian <vagrant@debian.org>
gnu/packages/firmware.scm