unofficial mirror of guix-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Gabriel Wicki <gabriel@erlikon.ch>
To: guix-devel@gnu.org
Subject: Re: RISCV porting effort
Date: Wed, 9 Jun 2021 00:28:22 +0200	[thread overview]
Message-ID: <20210608222822.fu4f2kcbtvt6o6hc@silver> (raw)
In-Reply-To: <877dj4fp4f.fsf@gnu.org>

Hello everyone!

> Efraim Flashner <efraim@flashner.co.il> 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 guile-2.0.14 didn't
> > known the endianness of riscv64 so instead of patching it I bumped the
> > bootstrap guile to 3.0. I uploaded my bootstrap-tarballs to my regular
> > spot after signing them and switched over to the riscv machine.

Do i understand correctly that the bootstrap-tarballs can be
cross-compiled and tested (to some extent) in a qemu-system-riscv? Or does
this *have* to fail (by Guix's design) due to it not being bootstrappable?


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 we receive them ;-)).
> 
> What we need is someone to order the machine(s) and to host it
> afterwards, with stable connectivity.  This must be agreed upon by the
> Spending Committee (currently Tobias, Ricardo, and myself; email
> guix-finance@gnu.org).  You’ll then be reimbursed by the FSF, our
> current fiscal sponsor.
> 
> Any takers?  Or should we wait until you have more experience with
> yours, Efraim?
I could see myself doing that. I've been thinking about getting a HiFive
Unmatched for a while and getting the hardware makes working on it a bit
more exciting!

Do i understand correctly that this machine would then be used to
build Guix packages and serve them? I.e. a worker on ci.guix.gnu.org?


Have a nice week!
gabriel


  reply	other threads:[~2021-06-09 19:11 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-06-07  7:09 RISCV porting effort Efraim Flashner
2021-06-07 15:37 ` Christopher Lemmer Webber
2021-06-08 13:43 ` Ludovic Courtès
2021-06-08 22:28   ` Gabriel Wicki [this message]
2021-06-10 13:22     ` Efraim Flashner
2021-06-11 21:07     ` Ludovic Courtès
2021-06-10 13:20   ` Efraim Flashner
2021-06-11 22:07     ` Ludovic Courtès
2021-06-18 13:05     ` RISCV porting effort (now in stock @mouser) Gabriel Wicki
2021-06-11 11:16 ` RISCV porting effort Efraim Flashner
2021-06-13 17:24 ` Vagrant Cascadian
2021-06-14  7:27   ` Efraim Flashner
2021-06-15  1:00     ` Vagrant Cascadian
2021-06-15 12:37       ` Efraim Flashner
2021-06-13 21:21 ` Christopher Baines
2021-06-20 15:37   ` Ludovic Courtès
2022-06-16  1:46     ` Pjotr Prins
2022-06-16 18:12       ` Maxim Cournoyer
2022-06-17 16:08       ` Ludovic Courtès
2022-06-17 22:52         ` Pjotr Prins
2022-06-20  7:45           ` Pjotr Prins
2022-06-22 13:37             ` Ludovic Courtès
2022-06-22 15:19               ` Ekaitz Zarraga
2022-06-28  8:54                 ` Efraim Flashner
2022-06-30 12:01                   ` Ludovic Courtès
2022-07-03  9:07                     ` Efraim Flashner
2022-06-24  6:37               ` Pjotr Prins

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://guix.gnu.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20210608222822.fu4f2kcbtvt6o6hc@silver \
    --to=gabriel@erlikon.ch \
    --cc=guix-devel@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

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).