Guix will hold its first online conference November 22nd. Propose a talk before November 6th. Learn more!

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…