520 lines
21 KiB
Scheme
520 lines
21 KiB
Scheme
;;; GNU Guix --- Functional package management for GNU
|
|
;;; Copyright © 2014, 2015, 2016 Ludovic Courtès <ludo@gnu.org>
|
|
;;; Copyright © 2016 Eric Bavier <bavier@member.fsf.org>
|
|
;;; Copyright © 2017 David Craven <david@craven.ch>
|
|
;;; Copyright © 2017, 2018 Efraim Flashner <efraim@flashner.co.il>
|
|
;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr>
|
|
;;; Copyright © 2018 Vagrant Cascadian <vagrant@debian.org>
|
|
;;;
|
|
;;; This file is part of GNU Guix.
|
|
;;;
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
|
;;; under the terms of the GNU General Public License as published by
|
|
;;; the Free Software Foundation; either version 3 of the License, or (at
|
|
;;; your option) any later version.
|
|
;;;
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
|
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
;;; GNU General Public License for more details.
|
|
;;;
|
|
;;; You should have received a copy of the GNU General Public License
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
(define-module (gnu packages firmware)
|
|
#:use-module ((guix licenses) #:prefix license:)
|
|
#:use-module (guix packages)
|
|
#:use-module (guix download)
|
|
#:use-module (guix utils)
|
|
#:use-module (guix git-download)
|
|
#:use-module (guix build-system gnu)
|
|
#:use-module (gnu packages)
|
|
#:use-module (gnu packages admin)
|
|
#:use-module (gnu packages assembly)
|
|
#:use-module (gnu packages bison)
|
|
#:use-module (gnu packages cmake)
|
|
#:use-module (gnu packages cross-base)
|
|
#:use-module (gnu packages flex)
|
|
#:use-module (gnu packages gcc)
|
|
#:use-module (gnu packages linux)
|
|
#:use-module (gnu packages perl)
|
|
#:use-module (gnu packages python))
|
|
|
|
(define-public ath9k-htc-firmware
|
|
(package
|
|
(name "ath9k-htc-firmware")
|
|
(version "1.4.0")
|
|
(source (origin
|
|
(method git-fetch)
|
|
(uri (git-reference
|
|
(url "https://github.com/qca/open-ath9k-htc-firmware.git")
|
|
(commit version)))
|
|
(sha256
|
|
(base32
|
|
"16jbj8avg5jkgvq5lxm0hdxxn4c3zn7fx8b4nxllvr024apk9w23"))
|
|
(file-name (string-append name "-" version "-checkout"))
|
|
(patches (search-patches "ath9k-htc-firmware-objcopy.patch"))))
|
|
(build-system gnu-build-system)
|
|
(arguments
|
|
'(#:phases
|
|
(modify-phases %standard-phases
|
|
(add-before 'configure 'pre-configure
|
|
(lambda* (#:key inputs #:allow-other-keys)
|
|
(chdir "target_firmware")
|
|
|
|
;; 'configure' is a simple script that runs 'cmake' with
|
|
;; the right flags.
|
|
(substitute* "configure"
|
|
(("^TOOLCHAIN=.*$")
|
|
(string-append "TOOLCHAIN="
|
|
(assoc-ref inputs "cross-gcc")
|
|
"\n")))
|
|
#t))
|
|
(replace 'install
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
(fw-dir (string-append out "/lib/firmware")))
|
|
(for-each (lambda (file)
|
|
(install-file file fw-dir))
|
|
(find-files "." "\\.fw$"))
|
|
#t))))
|
|
#:tests? #f))
|
|
|
|
;; The firmware is cross-compiled using a "bare bones" compiler (no libc.)
|
|
;; Use our own tool chain for that.
|
|
(native-inputs `(("cross-gcc" ,(cross-gcc "xtensa-elf"))
|
|
("cross-binutils" ,(cross-binutils "xtensa-elf"))
|
|
("cmake" ,cmake-minimal)
|
|
("perl" ,perl)))
|
|
(home-page "http://wireless.kernel.org/en/users/Drivers/ath9k_htc")
|
|
(synopsis "Firmware for the Atheros AR7010 and AR9271 USB 802.11n NICs")
|
|
(description
|
|
"This is the firmware for the Qualcomm Atheros AR7010 and AR9271 USB
|
|
802.11n NICs (aka Wi-Fi USB dongles). It is used by the ath9k driver of
|
|
Linux-libre.")
|
|
(license (license:non-copyleft "http://directory.fsf.org/wiki/License:ClearBSD"))))
|
|
|
|
(define-public b43-tools
|
|
(let ((commit "27892ef741e7f1d08cb939744f8b8f5dac7b04ae")
|
|
(revision "1"))
|
|
(package
|
|
(name "b43-tools")
|
|
(version (git-version "0.0.0" revision commit))
|
|
(source
|
|
(origin
|
|
(method git-fetch)
|
|
(uri (git-reference
|
|
(url "http://git.bues.ch/git/b43-tools.git")
|
|
(commit commit)))
|
|
(file-name (string-append name "-" version "-checkout"))
|
|
(sha256
|
|
(base32
|
|
"1wgmj4d65izbhprwb5bcwimc2ryv19b9066lqzy4sa5m6wncm9cn"))))
|
|
(build-system gnu-build-system)
|
|
(native-inputs
|
|
`(("flex" ,flex)
|
|
("bison" ,bison)))
|
|
(arguments
|
|
`(#:modules ((srfi srfi-1)
|
|
(guix build gnu-build-system)
|
|
(guix build utils))
|
|
#:tests? #f ; no tests
|
|
#:phases
|
|
(let ((subdirs '("assembler" "disassembler")))
|
|
(modify-phases %standard-phases
|
|
(delete 'configure) ; no configure script
|
|
(add-before 'build 'patch-/bin/true
|
|
(lambda _
|
|
(substitute* (find-files "." "Makefile")
|
|
(("/bin/true") ":"))
|
|
#t))
|
|
(replace 'build
|
|
(lambda _
|
|
(for-each (lambda (dir)
|
|
(invoke "make" "-C" dir "CC=gcc"))
|
|
subdirs)
|
|
#t))
|
|
(replace 'install
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
(let ((out (assoc-ref outputs "out")))
|
|
(mkdir-p (string-append out "/bin"))
|
|
(for-each (lambda (dir)
|
|
(invoke "make" "-C" dir
|
|
(string-append "PREFIX=" out)
|
|
"install"))
|
|
subdirs)
|
|
#t)))))))
|
|
(home-page
|
|
"https://bues.ch/cms/hacking/misc.html#linux_b43_driver_firmware_tools")
|
|
(synopsis "Collection of tools for the b43 wireless driver")
|
|
(description
|
|
"The b43 firmware tools is a collection of firmware extractor,
|
|
assembler, disassembler, and debugging tools for the Linux kernel b43 wireless
|
|
driver.")
|
|
(license license:gpl2))))
|
|
|
|
(define-public openfwwf-firmware
|
|
(package
|
|
(name "openfwwf-firmware")
|
|
(version "5.2")
|
|
(source
|
|
(origin
|
|
(method url-fetch)
|
|
(uri (string-append "http://netweb.ing.unibs.it/~openfwwf/firmware/"
|
|
"openfwwf-" version ".tar.gz"))
|
|
(sha256
|
|
(base32
|
|
"1p60gdi7w88s7qw82d3g9v7mk887mhvidf4l5q5hh09j10h37q4x"))))
|
|
(build-system gnu-build-system)
|
|
(native-inputs
|
|
`(("b43-tools" ,b43-tools)))
|
|
(arguments
|
|
`(#:make-flags (list (string-append "PREFIX="
|
|
(assoc-ref %outputs "out")
|
|
"/lib/firmware/b43-open"))
|
|
#:tests? #f ;no tests
|
|
#:phases (modify-phases %standard-phases
|
|
(delete 'configure))))
|
|
(home-page "http://netweb.ing.unibs.it/~openfwwf/")
|
|
(synopsis "Firmware for BCM43xx devices")
|
|
(description
|
|
"This is firmware from Open FirmWare for WiFi networks (OpenFWWF) for the
|
|
Broadcom/AirForce chipset BCM43xx with Wireless-Core Revision 5. It is used
|
|
by the b43-open driver of Linux-libre.")
|
|
(license license:gpl2)))
|
|
|
|
(define-public seabios
|
|
(package
|
|
(name "seabios")
|
|
(version "1.12.1")
|
|
(source
|
|
(origin
|
|
(method git-fetch)
|
|
(uri (git-reference
|
|
(url "https://review.coreboot.org/seabios.git")
|
|
(commit (string-append "rel-" version))))
|
|
(file-name (git-file-name name version))
|
|
(sha256
|
|
(base32 "1g9y03r5ky58q2g9rhbwfhs42z0zb9f59wfxpwh6zjqa6fyv1r80"))))
|
|
(build-system gnu-build-system)
|
|
(native-inputs
|
|
`(("python-2" ,python-2)))
|
|
(arguments
|
|
`(#:tests? #f ; no check target
|
|
#:phases
|
|
(modify-phases %standard-phases
|
|
(replace 'configure
|
|
(lambda _
|
|
(setenv "CC" "gcc")
|
|
#t))
|
|
(replace 'install
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
(fmw (string-append out "/share/firmware")))
|
|
(mkdir-p fmw)
|
|
(copy-file "out/bios.bin" (string-append fmw "/bios.bin"))
|
|
#t))))))
|
|
(home-page "https://www.seabios.org/SeaBIOS")
|
|
(synopsis "x86 BIOS implementation")
|
|
(description "SeaBIOS is an implementation of a 16bit x86 BIOS. SeaBIOS
|
|
can run in an emulator or it can run natively on X86 hardware with the use of
|
|
coreboot.")
|
|
;; Dual licensed.
|
|
(license (list license:gpl3+ license:lgpl3+
|
|
;; src/fw/acpi-dsdt.dsl is lgpl2
|
|
license:lgpl2.1
|
|
;; src/fw/lzmadecode.c and src/fw/lzmadecode.h are lgpl3+ and
|
|
;; cpl with a linking exception.
|
|
license:cpl1.0))))
|
|
|
|
;; OVMF is part of the edk2 source tree.
|
|
(define edk2-commit "13a50a6fe1dcfa6600c38456ee24e0f9ecf51b5f")
|
|
(define edk2-version (git-version "20170116" "1" edk2-commit))
|
|
(define edk2-origin
|
|
(origin
|
|
(method git-fetch)
|
|
(uri (git-reference
|
|
(url "https://github.com/tianocore/edk2")
|
|
(commit edk2-commit)))
|
|
(file-name (git-file-name "edk2" edk2-version))
|
|
(sha256
|
|
(base32
|
|
"1gy2332kdqk8bjzpcsripx10896rbvgl0ic7r344kmpiwdgm948b"))))
|
|
|
|
(define-public ovmf
|
|
(package
|
|
(name "ovmf")
|
|
(version edk2-version)
|
|
(source edk2-origin)
|
|
(build-system gnu-build-system)
|
|
(native-inputs
|
|
`(("acpica" ,acpica)
|
|
("nasm" ,nasm)
|
|
("python-2" ,python-2)
|
|
("util-linux" ,util-linux)))
|
|
(arguments
|
|
`(#:tests? #f ; No check target.
|
|
#:phases
|
|
(modify-phases %standard-phases
|
|
(replace 'configure
|
|
(lambda _
|
|
(let* ((cwd (getcwd))
|
|
(tools (string-append cwd "/BaseTools"))
|
|
(bin (string-append tools "/BinWrappers/PosixLike")))
|
|
(setenv "WORKSPACE" cwd)
|
|
(setenv "EDK_TOOLS_PATH" tools)
|
|
(setenv "PATH" (string-append (getenv "PATH") ":" bin))
|
|
; FIXME: The below script errors out. When using 'invoke' instead
|
|
; of 'system*' this causes the build to fail.
|
|
(system* "bash" "edksetup.sh")
|
|
(substitute* "Conf/target.txt"
|
|
(("^TARGET[ ]*=.*$") "TARGET = RELEASE\n")
|
|
(("^MAX_CONCURRENT_THREAD_NUMBER[ ]*=.*$")
|
|
(format #f "MAX_CONCURRENT_THREAD_NUMBER = ~a~%"
|
|
(number->string (parallel-job-count)))))
|
|
;; Build build support.
|
|
(setenv "BUILD_CC" "gcc")
|
|
(invoke "make" "-C" tools)
|
|
#t)))
|
|
(replace 'build
|
|
(lambda _
|
|
(invoke "build" "-a" "IA32" "-t" "GCC49"
|
|
"-p" "OvmfPkg/OvmfPkgIa32.dsc")))
|
|
,@(if (string=? "x86_64-linux" (%current-system))
|
|
'((add-after 'build 'build-x64
|
|
(lambda _
|
|
(invoke "build" "-a" "X64" "-t" "GCC49"
|
|
"-p" "OvmfPkg/OvmfPkgX64.dsc"))))
|
|
'())
|
|
(replace 'install
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
(fmw (string-append out "/share/firmware")))
|
|
(mkdir-p fmw)
|
|
(copy-file "Build/OvmfIa32/RELEASE_GCC49/FV/OVMF.fd"
|
|
(string-append fmw "/ovmf_ia32.bin"))
|
|
,@(if (string=? "x86_64-linux" (%current-system))
|
|
'((copy-file "Build/OvmfX64/RELEASE_GCC49/FV/OVMF.fd"
|
|
(string-append fmw "/ovmf_x64.bin")))
|
|
'()))
|
|
#t)))))
|
|
(supported-systems '("x86_64-linux" "i686-linux"))
|
|
(home-page "https://www.tianocore.org")
|
|
(synopsis "UEFI firmware for QEMU")
|
|
(description "OVMF is an EDK II based project to enable UEFI support for
|
|
Virtual Machines. OVMF contains a sample UEFI firmware for QEMU and KVM.")
|
|
(license (list license:expat
|
|
license:bsd-2 license:bsd-3 license:bsd-4))))
|
|
|
|
(define-public ovmf-aarch64
|
|
(package
|
|
(inherit ovmf)
|
|
(name "ovmf-aarch64")
|
|
(native-inputs
|
|
`(,@(package-native-inputs ovmf)
|
|
,@(if (not (string-prefix? "aarch64" (%current-system)))
|
|
`(("cross-gcc" ,(cross-gcc "aarch64-linux-gnu"))
|
|
("cross-binutils" ,(cross-binutils "aarch64-linux-gnu")))
|
|
'())))
|
|
(arguments
|
|
(substitute-keyword-arguments (package-arguments ovmf)
|
|
((#:phases phases)
|
|
`(modify-phases ,phases
|
|
(add-before 'configure 'set-env
|
|
(lambda _
|
|
,@(if (not (string-prefix? "aarch64" (%current-system)))
|
|
`((setenv "GCC49_AARCH64_PREFIX" "aarch64-linux-gnu-"))
|
|
'())
|
|
#t))
|
|
(replace 'build
|
|
(lambda _
|
|
(invoke "build" "-a" "AARCH64" "-t" "GCC49"
|
|
"-p" "ArmVirtPkg/ArmVirtQemu.dsc")))
|
|
(delete 'build-x64)
|
|
(replace 'install
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
(fmw (string-append out "/share/firmware")))
|
|
(mkdir-p fmw)
|
|
(copy-file "Build/ArmVirtQemu-AARCH64/RELEASE_GCC49/FV/QEMU_EFI.fd"
|
|
(string-append fmw "/ovmf_aarch64.bin"))
|
|
#t)))))))
|
|
(supported-systems %supported-systems)))
|
|
|
|
(define-public ovmf-arm
|
|
(package
|
|
(inherit ovmf)
|
|
(name "ovmf-arm")
|
|
(native-inputs
|
|
`(,@(package-native-inputs ovmf)
|
|
,@(if (not (string-prefix? "armhf" (%current-system)))
|
|
`(("cross-gcc" ,(cross-gcc "arm-linux-gnueabihf"))
|
|
("cross-binutils" ,(cross-binutils "arm-linux-gnueabihf")))
|
|
'())))
|
|
(arguments
|
|
(substitute-keyword-arguments (package-arguments ovmf)
|
|
((#:phases phases)
|
|
`(modify-phases ,phases
|
|
(add-before 'configure 'set-env
|
|
(lambda _
|
|
,@(if (not (string-prefix? "armhf" (%current-system)))
|
|
`((setenv "GCC49_ARM_PREFIX" "arm-linux-gnueabihf-"))
|
|
'())
|
|
#t))
|
|
(replace 'build
|
|
(lambda _
|
|
(invoke "build" "-a" "ARM" "-t" "GCC49"
|
|
"-p" "ArmVirtPkg/ArmVirtQemu.dsc")))
|
|
(delete 'build-x64)
|
|
(replace 'install
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
(fmw (string-append out "/share/firmware")))
|
|
(mkdir-p fmw)
|
|
(copy-file "Build/ArmVirtQemu-ARM/RELEASE_GCC49/FV/QEMU_EFI.fd"
|
|
(string-append fmw "/ovmf_arm.bin"))
|
|
#t)))))))
|
|
(supported-systems %supported-systems)))
|
|
|
|
(define* (make-arm-trusted-firmware platform #:optional (arch "aarch64"))
|
|
(package
|
|
(name (string-append "arm-trusted-firmware-" platform))
|
|
(version "2.1")
|
|
(source
|
|
(origin
|
|
(method git-fetch)
|
|
(uri (git-reference
|
|
;; There are only GitHub generated release snapshots.
|
|
(url "https://github.com/ARM-software/arm-trusted-firmware.git")
|
|
(commit (string-append "v" version))))
|
|
(file-name (git-file-name "arm-trusted-firmware" version))
|
|
(sha256
|
|
(base32
|
|
"1gy5qskrjy8n3kxdcm1dx8b45l5b75n0pm8pq80wl6xic1ycy24r"))))
|
|
(build-system gnu-build-system)
|
|
(arguments
|
|
`(#:phases
|
|
(modify-phases %standard-phases
|
|
(delete 'configure) ; no configure script
|
|
(replace 'install
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
(let ((out (assoc-ref outputs "out"))
|
|
(bin (find-files "." ".*\\.bin$")))
|
|
(for-each
|
|
(lambda (file)
|
|
(install-file file out))
|
|
bin))
|
|
#t)))
|
|
#:make-flags (list (string-append "PLAT=" ,platform)
|
|
,@(if (and (not (string-prefix? "aarch64"
|
|
(%current-system)))
|
|
(string-prefix? "aarch64" arch))
|
|
`("CROSS_COMPILE=aarch64-linux-gnu-")
|
|
'())
|
|
,@(if (and (not (string-prefix? "armhf"
|
|
(%current-system)))
|
|
(string-prefix? "armhf" arch))
|
|
`("CROSS_COMPILE=arm-linux-gnueabihf-")
|
|
'())
|
|
"DEBUG=1")
|
|
#:tests? #f)) ; no tests
|
|
(native-inputs
|
|
`(,@(if (and (not (string-prefix? "aarch64" (%current-system)))
|
|
(string-prefix? "aarch64" arch))
|
|
;; gcc-7 since it is used for u-boot, which needs gcc-7.
|
|
`(("cross-gcc" ,(cross-gcc "aarch64-linux-gnu" #:xgcc gcc-7))
|
|
("cross-binutils" ,(cross-binutils "aarch64-linux-gnu")))
|
|
'())
|
|
,@(if (and (not (string-prefix? "armhf" (%current-system)))
|
|
(string-prefix? "armhf" arch))
|
|
;; gcc-7 since it is used for u-boot, which needs gcc-7.
|
|
`(("cross-gcc" ,(cross-gcc "arm-linux-gnueabihf" #:xgcc gcc-7))
|
|
("cross-binutils" ,(cross-binutils "arm-linux-gnueabihf")))
|
|
'())
|
|
))
|
|
(home-page "https://github.com/ARM-software/arm-trusted-firmware")
|
|
(synopsis "Implementation of \"secure world software\"")
|
|
(description
|
|
"ARM Trusted Firmware provides a reference implementation of secure world
|
|
software for ARMv7A and ARMv8-A, including a Secure Monitor executing at
|
|
@dfn{Exception Level 3} (EL3). It implements various ARM interface standards,
|
|
such as:
|
|
@enumerate
|
|
@item The Power State Coordination Interface (PSCI)
|
|
@item Trusted Board Boot Requirements (TBBR, ARM DEN0006C-1)
|
|
@item SMC Calling Convention
|
|
@item System Control and Management Interface
|
|
@item Software Delegated Exception Interface (SDEI)
|
|
@end enumerate\n")
|
|
(license (list license:bsd-3
|
|
license:bsd-2)))) ; libfdt
|
|
|
|
(define-public arm-trusted-firmware-sun50i-a64
|
|
(let ((base (make-arm-trusted-firmware "sun50i_a64")))
|
|
(package
|
|
(inherit base)
|
|
(name "arm-trusted-firmware-sun50i-a64"))))
|
|
|
|
(define-public arm-trusted-firmware-puma-rk3399
|
|
(let ((base (make-arm-trusted-firmware "rk3399"))
|
|
;; Vendor's arm trusted firmware branch hasn't been upstreamed yet.
|
|
(commit "d71e6d83612df896774ec4c03d49500312d2c324")
|
|
(revision "1"))
|
|
(package
|
|
(inherit base)
|
|
(name "arm-trusted-firmware-puma-rk3399")
|
|
(version (git-version "1.3" revision commit))
|
|
(source
|
|
(origin
|
|
(method git-fetch)
|
|
(uri (git-reference
|
|
(url "https://git.theobroma-systems.com/arm-trusted-firmware.git")
|
|
(commit commit)))
|
|
(file-name (git-file-name name version))
|
|
(sha256
|
|
(base32
|
|
"0vqhwqqh8h9qlkpybg2v94911091c1418bc4pnzq5fd7zf0fjkf8")))))))
|
|
|
|
(define-public rk3399-cortex-m0
|
|
(package
|
|
(name "rk3399-cortex-m0")
|
|
(version "1")
|
|
(source
|
|
(origin
|
|
(method git-fetch)
|
|
(uri (git-reference
|
|
(url "https://git.theobroma-systems.com/rk3399-cortex-m0.git")
|
|
(commit (string-append "v" version))))
|
|
(file-name (git-file-name "rk3399-cortex-m0" version))
|
|
(sha256
|
|
(base32
|
|
"02wz1vkf4j3zc8rx289z76xhrf71jhb2p05lvmygky393a9gjh9w"))))
|
|
(home-page "https://git.theobroma-systems.com/rk3399-cortex-m0.git/about/")
|
|
(synopsis "PMU Cortex M0 firmware for RK3399 Q7 (Puma)")
|
|
(description
|
|
"Cortex-M0 firmware used with the RK3399 to implement
|
|
power-management functionality and helpers (e.g. DRAM frequency
|
|
switching support).\n")
|
|
(license license:bsd-3)
|
|
(build-system gnu-build-system)
|
|
(arguments
|
|
`(#:phases
|
|
(modify-phases %standard-phases
|
|
(delete 'configure)
|
|
(delete 'check)
|
|
(replace 'install
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
(let ((out (assoc-ref outputs "out"))
|
|
(mzerofiles (find-files "." "rk3399m0.(elf|bin)$")))
|
|
(for-each
|
|
(lambda (file)
|
|
(install-file file out))
|
|
mzerofiles))
|
|
#t))
|
|
(add-before 'build 'setenv
|
|
(lambda* (#:key inputs #:allow-other-keys)
|
|
(setenv "CROSS_COMPILE" "arm-none-eabi-")
|
|
#t)))))
|
|
(native-inputs `(("cross-gcc" ,(cross-gcc "arm-none-eabi" #:xgcc gcc-7))
|
|
("cross-binutils" ,(cross-binutils "arm-none-eabi"))))))
|