博客 - ARM

Guix on an ARM Board

2019-11-27

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

2019-02-22

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

2019-02-07

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!

2018-04-24

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

2018-01-25

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

2017-12-22

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

2017-07-24

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

2015-01-09

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…