diff options
author | Vagrant Cascadian <vagrant@debian.org> | 2019-10-16 22:29:21 -0700 |
---|---|---|
committer | Vagrant Cascadian <vagrant@debian.org> | 2019-10-18 12:11:38 -0700 |
commit | 475dac08a0523e699ee1a69a31f0811ae35b0f81 (patch) | |
tree | 67424936d6bc3b618e51f70c30850017aed6b675 /gnu/packages/cppi.scm | |
parent | c37c8efb2b7a580847a9318bb9a66d83156fb0fc (diff) | |
download | guix-475dac08a0523e699ee1a69a31f0811ae35b0f81.tar guix-475dac08a0523e699ee1a69a31f0811ae35b0f81.tar.gz |
gnu: arm-trusted-firmware: Add backported patches to disable .bin generation
for rockchip platforms.
* gnu/packages/patches/arm-trusted-firmware-optional-bin-generation.patch: New
patch.
* gnu/packages/patches/arm-trusted-firmware-rockchip-disable-binary.patch: New
patch.
* gnu/packages/firmware (make-arm-trusted-firmware): Add patches.
* gnu/local.mk (dist_patch_DATA): Add patches.
Signed-off-by: Vagrant Cascadian <vagrant@debian.org>
Diffstat (limited to 'gnu/packages/cppi.scm')
0 files changed, 0 insertions, 0 deletions