Re: GuixSD for Raspberry?

2017-09-18 Thread Ludovic Courtès 
Mekeor Melire  skribis:

> Ludovic Courtès  writes:
>
>> Hartmut Goebel  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’.

Re: GuixSD for Raspberry?

2017-09-18 Thread Efraim Flashner 
On Mon, Sep 18, 2017 at 09:54:24AM +0200, Ludovic Courtès wrote:
> Hi,
> 
> Hartmut Goebel  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      אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted


signature.asc
Description: PGP signature

Re: Does the installation image support UEFI boot?

2017-09-18 Thread Hartmut Goebel 
Hi Marius,

thanks again.

I was able to generating an ISO9660 image and boot from it. :-)

Although after partitioning the (virtual) hard-disk, I was not able to
boot from that, but this may simply be that I partitioned wrong.

-- 
Regards
Hartmut Goebel

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

Re: GuixSD for Raspberry?

2017-09-18 Thread Ludovic Courtès 
Hi,

Hartmut Goebel  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’.