unofficial mirror of help-guix@gnu.org 
 help / color / mirror / Atom feed
* GuixSD for Raspberry?
@ 2017-09-17 18:42 Hartmut Goebel
  2017-09-18  7:54 ` Ludovic Courtès
  0 siblings, 1 reply; 5+ messages in thread
From: Hartmut Goebel @ 2017-09-17 18:42 UTC (permalink / raw)
  To: help-guix

Hi,

quick answer: What is the status of GuixSD for Raspberry? Searching the
web did not help finding this out.

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | h.goebel@crazy-compilers.com               |
| www.crazy-compilers.com | compilers which you thought are impossible |

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: GuixSD for Raspberry?
  2017-09-17 18:42 GuixSD for Raspberry? Hartmut Goebel
@ 2017-09-18  7:54 ` Ludovic Courtès
  2017-09-18 12:23   ` Efraim Flashner
  2017-09-18 19:42   ` Mekeor Melire
  0 siblings, 2 replies; 5+ messages in thread
From: Ludovic Courtès @ 2017-09-18  7:54 UTC (permalink / raw)
  To: Hartmut Goebel; +Cc: help-guix

Hi,

Hartmut Goebel <h.goebel@crazy-compilers.com> 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’.

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: GuixSD for Raspberry?
  2017-09-18  7:54 ` Ludovic Courtès
@ 2017-09-18 12:23   ` Efraim Flashner
  2017-09-18 19:42   ` Mekeor Melire
  1 sibling, 0 replies; 5+ messages in thread
From: Efraim Flashner @ 2017-09-18 12:23 UTC (permalink / raw)
  To: Ludovic Courtès; +Cc: help-guix

[-- Attachment #1: Type: text/plain, Size: 980 bytes --]

On Mon, Sep 18, 2017 at 09:54:24AM +0200, Ludovic Courtès wrote:
> Hi,
> 
> Hartmut Goebel <h.goebel@crazy-compilers.com> 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
machines.

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

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: GuixSD for Raspberry?
  2017-09-18  7:54 ` Ludovic Courtès
  2017-09-18 12:23   ` Efraim Flashner
@ 2017-09-18 19:42   ` Mekeor Melire
  2017-09-18 20:21     ` Ludovic Courtès
  1 sibling, 1 reply; 5+ messages in thread
From: Mekeor Melire @ 2017-09-18 19:42 UTC (permalink / raw)
  To: Ludovic Courtès; +Cc: help-guix


Ludovic Courtès <ludo@gnu.org> writes:

> Hartmut Goebel <h.goebel@crazy-compilers.com> 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.

Some (recent) versions of the single-board computer Raspberry Pi use the
ARMv8-A architecture, a.k.a. Aarch64, which is supported by GuixSD,
AFAIK. 

-- 
mekeor ~ EDD3 DFFA 76F6 11C0 145F 9A99 AC85 BAD8 A2F8 C868

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: GuixSD for Raspberry?
  2017-09-18 19:42   ` Mekeor Melire
@ 2017-09-18 20:21     ` Ludovic Courtès
  0 siblings, 0 replies; 5+ messages in thread
From: Ludovic Courtès @ 2017-09-18 20:21 UTC (permalink / raw)
  To: Mekeor Melire; +Cc: help-guix

Mekeor Melire <mekeor.melire@gmail.com> skribis:

> Ludovic Courtès <ludo@gnu.org> writes:
>
>> Hartmut Goebel <h.goebel@crazy-compilers.com> 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.
>
> Some (recent) versions of the single-board computer Raspberry Pi use the
> ARMv8-A architecture, a.k.a. Aarch64, which is supported by GuixSD,

It’s supported by Guix, not by GuixSD.  :-)

Ludo’.

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2017-09-18 20:21 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2017-09-17 18:42 GuixSD for Raspberry? Hartmut Goebel
2017-09-18  7:54 ` Ludovic Courtès
2017-09-18 12:23   ` Efraim Flashner
2017-09-18 19:42   ` Mekeor Melire
2017-09-18 20:21     ` Ludovic Courtès

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).