Hi Guix, here's a patch series I've been sitting on for about a year. It's a compiler for bare-metal binaries targetting arm-none-eabi. I'm using this successfully to compile ChibiOS for the Axoloti Core board.
I've chosen to package the particular compiler version that is used for the Axoloti Core, so this is equivalent to what the GNU ARM Embedded Toolchain project provides with the "4.9-2015-q2-update" release (see https://launchpadlibrarian.net/209776344/release.txt). I used SVN revisions because certain ARM patches are not part of the standard release tarball; they are only in SVN. I did update newlib to the very latest release, however, because it seems to work just fine. I don't know if it's okay to keep older versions of the cross compiler. For version 4.9 the GNU ARM Embedded Toolchain project made another release "4.9-2015-q3-update". It's probably better to at least use the upstream versions they used for that release instead of basing things on "4.9-2015-q2-update". I have no idea if we can build our own version of 4.9 from a later revision, because I don't know exactly what patches I'd need to backport. If somebody knows better I'd appreciate hints. ~~ Ricardo Ricardo Wurmus (3): gnu: Add arm-none-eabi cross compiler. gnu: Add newlib-arm-none-eabi. gnu: Add newlib-nano-arm-none-eabi. gnu/local.mk | 1 + gnu/packages/bootstrap.scm | 1 + gnu/packages/embedded.scm | 185 +++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 187 insertions(+) create mode 100644 gnu/packages/embedded.scm -- 2.10.0