[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GuixSD for Raspberry?

From: Efraim Flashner
Subject: Re: GuixSD for Raspberry?
Date: Mon, 18 Sep 2017 15:23:03 +0300
User-agent: Mutt/1.8.3 (2017-05-23)

On Mon, Sep 18, 2017 at 09:54:24AM +0200, Ludovic Courtès wrote:
> Hi,
> Hartmut Goebel <address@hidden> skribis:
> > quick answer: What is the status of GuixSD for Raspberry? Searching the
> > web did not help finding this out.
> GuixSD has not been ported to ARM in general.  Porting means adding
> support for U-Boot and the kernel with the right settings for the target
> board.
> Danny would know better, but it seems to me that there’s little that’s
> missing!
> Thanks,
> Ludo’.

I don't know if the RPi needs a special kernel or not, but I don't
believe we currently have support for booting with u-boot. Also, the
xorg-service needs to be modified to only use the intel driver on intel

Efraim Flashner   <address@hidden>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

Attachment: signature.asc
Description: PGP signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]