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.blog post summary ellipsis…

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 consistsblog post summary ellipsis…

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 groupblog post summary ellipsis…

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 ablog post summary ellipsis…

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 alreadyblog post summary ellipsis…

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 itblog post summary ellipsis…

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, asblog post summary ellipsis…

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 andblog post summary ellipsis…