Blogo — ARM

Guix on an ARM Board

27-a de Novembro 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

22-a de Februaro 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

7-a de Februaro 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!

24-a de Aprilo 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

25-a de Januaro 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

22-a de Decembro 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

24-a de Julio 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

9-a de Januaro 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…