Re: RISCV porting effort

On Thu, Jun 30, 2022 at 02:01:19PM +0200, Ludovic Courtès wrote: > Howdy, > > Efraim Flashner skribis: > > > (ins)efraim@3900XT ~/workspace/guix$ time ./pre-inst-env guix weather -s > > riscv64-linux --substitute-urls="http://localhost:3000; -c100 > > computing 15,205 package derivations for

Re: RISCV porting effort

Howdy, Efraim Flashner skribis: > (ins)efraim@3900XT ~/workspace/guix$ time ./pre-inst-env guix weather -s > riscv64-linux --substitute-urls="http://localhost:3000; -c100 > computing 15,205 package derivations for riscv64-linux... > looking for 15,948 store items on http://localhost:3000... >

Re: RISCV porting effort

On Wed, Jun 22, 2022 at 03:19:43PM +, Ekaitz Zarraga wrote: > Also, hi! > > We kinda have a working bootstrappable GCC. > > If you want to know more you can read here: > > https://ekaitz.elenq.tech/bootstrapGcc4.html > > :) > I haven't been keeping much of a log of where I'm at, but

Re: RISCV porting effort

The paper for gem5 is also published online: The Case for Using Guix to Solve the gem5 Packaging Problem https://www.gem5.org/project/2022/05/23/guix.html What is exciting to me is that RISCV allows for creating specialised hardware modules that can be SOC'd next to the RISCV cores using the

Re: RISCV porting effort

Also, hi! We kinda have a working bootstrappable GCC. If you want to know more you can read here: https://ekaitz.elenq.tech/bootstrapGcc4.html :)

Re: RISCV porting effort

Pjotr Prins skribis: > Chris Batten created the slides and presented twice. He writes: > > We presented our work on using Guix in computer architecture research at the > gem5 users workshop an > d the Workshop on Computer Architecture Research with RISC-V ... it was > awesome to have Pjotr

Re: RISCV porting effort

Chris Batten created the slides and presented twice. He writes: We presented our work on using Guix in computer architecture research at the gem5 users workshop an d the Workshop on Computer Architecture Research with RISC-V ... it was awesome to have Pjotr join in person for CARRV too! Pjotr

Re: RISCV porting effort

On Fri, Jun 17, 2022 at 06:08:18PM +0200, Ludovic Courtès wrote: > And… I think one of you will have to come and present all this work in > Paris: . Who’s in? :-) We should all show up :)

Re: RISCV porting effort

Hi! Pjotr Prins skribis: > The Case for Using Guix to Solve the gem5 Packing Problem > https://www.gem5.org/events/isca-2022 > > The Case for Using Guix to Enable Reproducible RISC-V Software & > Hardware > https://carrv.github.io/2022/ Congrats, it’s exciting to see hardware & software folks

Re: RISCV porting effort

Hello Pjotr, Pjotr Prins writes: > Most of you are probably aware that a RISC-V effort is going on in GNU > Guix. > > Ekaitz is working on the GNU Mes bootstrap and Efraim is porting > packages (gcc and clang are ported), both NLNet projects. Also with > our NSF project we are using GNU Guix

Re: RISCV porting effort

Most of you are probably aware that a RISC-V effort is going on in GNU Guix. Ekaitz is working on the GNU Mes bootstrap and Efraim is porting packages (gcc and clang are ported), both NLNet projects. Also with our NSF project we are using GNU Guix for emulators and running on bare metal! We have

Re: RISCV porting effort

Christopher Baines skribis: > I also recently received a HiFive Umatched board which I ordered months > ago. Nice! > While I don't really have the time right at the moment to actually do > much with it, I've got it connected to the internet and can consider > offering SSH access to anyone who

Re: RISCV porting effort (now in stock @mouser)

So i checked mouser (europe) and it seems they have it in stock (361 in Munich right now). Not sure whether this was real i ordered one and it seems it will be shipped next week.. Now i have to rush to buy a case and a PSU (i already have a freedom respecting video card) ;) So everybody: if you

Re: RISCV porting effort

On Mon, Jun 14, 2021 at 06:00:21PM -0700, Vagrant Cascadian wrote: > On 2021-06-14, Efraim Flashner wrote: > > On Sun, Jun 13, 2021 at 10:24:13AM -0700, Vagrant Cascadian wrote: > >> On 2021-06-07, Efraim Flashner wrote: > >> > Last week my HiFive Umatched¹ board came > >> ... > >> > Ubuntu has an

Re: RISCV porting effort

On 2021-06-14, Efraim Flashner wrote: > On Sun, Jun 13, 2021 at 10:24:13AM -0700, Vagrant Cascadian wrote: >> On 2021-06-07, Efraim Flashner wrote: >> > Last week my HiFive Umatched¹ board came >> ... >> > Ubuntu has an image for the board² which booted up just fine and I'm >> > using, since I

Re: RISCV porting effort

On Sun, Jun 13, 2021 at 10:24:13AM -0700, Vagrant Cascadian wrote: > On 2021-06-07, Efraim Flashner wrote: > > Last week my HiFive Umatched¹ board came > ... > > Ubuntu has an image for the board² which booted up just fine and I'm > > using, since I didn't want to spend too long getting Debian to

Re: RISCV porting effort

Efraim Flashner writes: > Last week my HiFive Umatched¹ board came and was quite the object of > interest at the local computer store as I picked up a case, PSU and > graphics card. I also recently received a HiFive Umatched board which I ordered months ago. While I don't really have the time

Re: RISCV porting effort

On 2021-06-07, Efraim Flashner wrote: > Last week my HiFive Umatched¹ board came ... > Ubuntu has an image for the board² which booted up just fine and I'm > using, since I didn't want to spend too long getting Debian to run on > the board. I, on the other hand, went straight for Debian, of

Re: RISCV porting effort

Hello! Efraim Flashner skribis: > On Tue, Jun 08, 2021 at 03:43:44PM +0200, Ludovic Courtès wrote: [...] >> If the HiFive works fine, let me remind you that we have budget to buy >> hardware, so we could just as well order a couple of these right away >> (maybe you’ll have Guix System running

Re: RISCV porting effort

Hi! Gabriel Wicki skribis: > On Tue, Jun 08, 2021 at 03:43:44PM +0200, Ludovic Courtès wrote: >> If the HiFive works fine, let me remind you that we have budget to buy >> hardware, so we could just as well order a couple of these right away >> (maybe you’ll have Guix System running by the time

Re: RISCV porting effort

On Mon, Jun 07, 2021 at 10:09:44AM +0300, Efraim Flashner wrote: > Upstream u-boot support was merged days ago³ so we should be able to add > support to our u-boot package soon-ish™. I added u-boot-sifive-unmatched, although Vagrant pointed out that I may be missing opensbi as an input. I haven't

Re: RISCV porting effort

On Wed, Jun 09, 2021 at 12:28:22AM +0200, Gabriel Wicki wrote: > Hello everyone! > > > Efraim Flashner skribis: > > > Porting Guix comes with two parts: building the bootstrap-tarballs and > > > adding support for the new architecture in (gnu packages bootstrap). > > > Support for riscv was

Re: RISCV porting effort

On Tue, Jun 08, 2021 at 03:43:44PM +0200, Ludovic Courtès wrote: > Hello! > > Efraim Flashner skribis: > > > Porting Guix comes with two parts: building the bootstrap-tarballs and > > adding support for the new architecture in (gnu packages bootstrap). > > Support for riscv was added to GCC

Re: RISCV porting effort

Hello everyone! > Efraim Flashner skribis: > > Porting Guix comes with two parts: building the bootstrap-tarballs and > > adding support for the new architecture in (gnu packages bootstrap). > > Support for riscv was added to GCC with 7.1.0 so I had to bump the > > bootstrap GCC to 7 (and adjust

Re: RISCV porting effort

Hello! Efraim Flashner skribis: > Porting Guix comes with two parts: building the bootstrap-tarballs and > adding support for the new architecture in (gnu packages bootstrap). > Support for riscv was added to GCC with 7.1.0 so I had to bump the > bootstrap GCC to 7 (and adjust some inputs), and

Re: RISCV porting effort

Exciting... thanks for this update! Even if not "usable" quite yet, it's thrilling to see progress on this. :) Efraim Flashner writes: > Last week my HiFive Umatched¹ board came and was quite the object of > interest at the local computer store as I picked up a case, PSU and > graphics card. >

RISCV porting effort

Last week my HiFive Umatched¹ board came and was quite the object of interest at the local computer store as I picked up a case, PSU and graphics card. Couple of observations about the board first: It boots very slowly. I think it takes about 5 minutes from power-on to being able to sign in at