Blog — ARM
Guix on an ARM Board
November 27, 2019
Increasingly people discovering Guix want to try it on an ARM board, instead of their x86 computer. There might be various reasons for that, from power consumption to security.…
Guix Days: Bootstrapping ARM
February 22, 2019
During the Guix Days before FOSDEM , some of us discussed bootstrapping on ARM architectures. We focused on how to port Mes to ARM. This post consists…
QA on non-Intel at Guix Days
February 7, 2019
During the second day of Guix Days (a FOSDEM fringe event ) we split up into smaller working groups based on our areas of interest. I led a group…
Guix on Android!
April 24, 2018
Last year I thought to myself: since my phone is just a computer running an operating system called Android (or Replicant !), and that Android is based on a…
aarch64 build machines donated
January 25, 2018
Good news! We got a present for our build farm in the form of two SoftIron OverDrive 1000 aarch64 machines donated by ARM Holdings. One of them is already…
Porting GuixSD to ARMv7
December 22, 2017
GuixSD porting to ARMv7 is a difficult topic. There are plenty of different machines, with specific hardware configurations and vendor-tuned bootloaders, and ACPI support is still experimental. For those reasons it…
State of aarch64 on Guix
July 24, 2017
Since the recent 0.13.0 release, Guix supports building software for aarch64 (64-bit ARM architecture). Here’s the current status. Currently aarch64 support in Guix is pretty good, as…
GNU Guix ported to ARM and other niceties of the new year
January 9, 2015
A new port of GNU Guix to ARM using the "hard float" ABI has just landed , thanks to the hard work of Mark H Weaver and…