Subject: GuixSD ARM port.
From: Mathieu Othacehe <[email-masked]>
To: [email-masked]
Date: Thu, 23 Nov 2017 10:45:16 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

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