Subject: GuixSD ARM port.

From: Mathieu Othacehe <[email-masked]>
Date: Thu, 23 Nov 2017 10:45:16 +0100

Hi,

I'm currently working on porting GuixSD to ARM using a BBB as a first
target. As I'm progressing slowly patches are coming one by one. I'll
use this debbugs id to gather them.

Thanks,

Mathieu