Re: ANNOUNCE: Guix on Aarch64 !!

[Ludovic Courtès]

Efraim Flashner  skribis:

> On March 6, 2017 11:57:44 AM GMT+02:00, l...@gnu.org wrote:

[...]

>>It would be great if you could start looking for an aarch64 machine
>> to
>>plug into Hydra, or maybe start with a VM.
>>
>>Thoughts?
>>
>>Cheers,
>>Ludo’.
>
> The odroid-c2 is under $50, I've been using that. Can be powered from
> the USB flashing port, comes with 4 USB ports, Ethernet and a micro-SD
> card slot. It does come with 2GB of RAM, some of which is lost to
> video, but I've had zram enabled and didn't run into any problems
> until I tried to build boost, which needed more than the 1GB of swap I
> had. 4xA53 isn't the fastest, but I'm pretty sure its the cheapest
> option for the RAM. Downside is that it isn't quite yet supported by
> mainline kernel but there are people actively working on it.
>
> Firefly has a couple of boards with 4 GB of RAM but they're closer to
> $200 each. I have one ordered to see how that goes.

OK.  Once you have experience with the Firefly one, we could buy
whichever seems most appropriate, we have funds for that.

Thanks,
Ludo’.

Re: ANNOUNCE: Guix on Aarch64 !!

[Efraim Flashner]

On March 6, 2017 11:57:44 AM GMT+02:00, l...@gnu.org wrote:
>Hello!
>
>Efraim Flashner  skribis:
>
>> Its my pleasure to announce that guix now has all the code necessary
>to
>> support aarch64! Currently support is limited to the core-updates
>> branch, but that shouldn't be too much of a problem, since currently
>> everything needs to be built from source.
>
>Woohoo!  \o/
>
>Congratulations and a big thank you for all the tireless work!
>
>Let us know if there are still pending patches or anything that needs
>to
>be addressed.
>
>It would be great if you could start looking for an aarch64 machine to
>plug into Hydra, or maybe start with a VM.
>
>Thoughts?
>
>Cheers,
>Ludo’.

The odroid-c2 is under $50, I've been using that. Can be powered from the USB 
flashing port, comes with 4 USB ports, Ethernet and a micro-SD card slot. It 
does come with 2GB of RAM, some of which is lost to video, but I've had zram 
enabled and didn't run into any problems until I tried to build boost, which 
needed more than the 1GB of swap I had. 4xA53 isn't the fastest, but I'm pretty 
sure its the cheapest option for the RAM. Downside is that it isn't quite yet 
supported by mainline kernel but there are people actively working on it.

Firefly has a couple of boards with 4 GB of RAM but they're closer to $200 
each. I have one ordered to see how that goes.
-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.

Re: ANNOUNCE: Guix on Aarch64 !!

[Ludovic Courtès]

Hello!

Efraim Flashner  skribis:

> Its my pleasure to announce that guix now has all the code necessary to
> support aarch64! Currently support is limited to the core-updates
> branch, but that shouldn't be too much of a problem, since currently
> everything needs to be built from source.

Woohoo!  \o/

Congratulations and a big thank you for all the tireless work!

Let us know if there are still pending patches or anything that needs to
be addressed.

It would be great if you could start looking for an aarch64 machine to
plug into Hydra, or maybe start with a VM.

Thoughts?

Cheers,
Ludo’.

Re: ANNOUNCE: Guix on Aarch64 !!

[Mark H Weaver]

Efraim Flashner  writes:
> Its my pleasure to announce that guix now has all the code necessary to
> support aarch64!

This is great news!  Thanks very much for taking this on :)

Mark

Re: ANNOUNCE: Guix on Aarch64 !!

[Leo Famulari]

On Mon, Feb 20, 2017 at 04:32:18PM +0200, Efraim Flashner wrote:
> Its my pleasure to announce that guix now has all the code necessary to
> support aarch64! Currently support is limited to the core-updates
> branch, but that shouldn't be too much of a problem, since currently
> everything needs to be built from source.
> 
> For those interested in the numbers, I built (at least) 13 copies of the
> bootstrap binaries while attempting to pin down bugs. I'm using an
> Odroid-C2 with Debian as a base and a 32GB SD card. After supplying
> dependencies and running bootstrap and configure, make takes about 25
> minutes. It takes almost 16 hours, starting from an empty store, to
> build all the way to hello. The board has a base of 2GB of RAM, about
> 256 MB of which is used for graphics, but I somehow managed to enable zram,
> which I'm guessing helped.

Wow, awesome! I'm going to try it in QEMU.


signature.asc
Description: PGP signature

Re: ANNOUNCE: Guix on Aarch64 !!

[Tobias Geerinckx-Rice]

Efraim,

On 20/02/17 15:32, Efraim Flashner wrote:
> Its my pleasure to announce that guix now has all the code necessary 
> to support aarch64!

Wow. Thank you so much for all the time you spent on this!

Kind regards,

T G-R



signature.asc
Description: OpenPGP digital signature

Re: ANNOUNCE: Guix on Aarch64 !!

[Manolis Ragkousis]

On 02/20/2017 04:32 PM, Efraim Flashner wrote:
> Its my pleasure to announce that guix now has all the code necessary to
> support aarch64! Currently support is limited to the core-updates
> branch, but that shouldn't be too much of a problem, since currently
> everything needs to be built from source.

Yaaay!! I am already building on my arm64 machine! Well done! :D

Manolis

Re: ANNOUNCE: Guix on Aarch64 !!

[Ricardo Wurmus]

Efraim Flashner  writes:

> Its my pleasure to announce that guix now has all the code necessary to
> support aarch64! Currently support is limited to the core-updates
> branch, but that shouldn't be too much of a problem, since currently
> everything needs to be built from source.

This is excellent!  Thank you for persevering!

> In my quest for alternative architectures I'm considering converting one
> of my old macbooks to the x32 pseudo-arch and seeing if I can get guix
> working there too.

Yay for more ports!

-- 
Ricardo

GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
https://elephly.net

Re: ANNOUNCE: Guix on Aarch64 !!

[John Darrington]

Great work!

I'm looking forward to trying it.

J'
On Mon, Feb 20, 2017 at 04:32:18PM +0200, Efraim Flashner wrote:
 Its my pleasure to announce that guix now has all the code necessary to
 support aarch64! Currently support is limited to the core-updates
 branch, but that shouldn't be too much of a problem, since currently
 everything needs to be built from source.
 
 For those interested in the numbers, I built (at least) 13 copies of the
 bootstrap binaries while attempting to pin down bugs. I'm using an
 Odroid-C2 with Debian as a base and a 32GB SD card. After supplying
 dependencies and running bootstrap and configure, make takes about 25
 minutes. It takes almost 16 hours, starting from an empty store, to
 build all the way to hello. The board has a base of 2GB of RAM, about
 256 MB of which is used for graphics, but I somehow managed to enable zram,
 which I'm guessing helped.
 
 In my quest for alternative architectures I'm considering converting one
 of my old macbooks to the x32 pseudo-arch and seeing if I can get guix
 working there too.
 
 -- 
 Efraim Flashner      ?? ??
 GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
 Confidentiality cannot be guaranteed on emails sent or received unencrypted



-- 
Avoid eavesdropping.  Send strong encrypted email.
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.



signature.asc
Description: Digital signature