Re: [PATCH 0/3] Rumpkernel in GNU Guix

[Samuel Thibault]

Hello,

Janneke Nieuwenhuizen, le mar. 16 mai 2023 10:57:47 +0200, a ecrit:
> Recently, Josselin Poiret updated the (gnumach, etc. and) Hurd
> packages[0] and two days ago we managed to get this new version to
> boot[1]! \o/

\o/

> This opened the way for us to have another look at include the
> rumpkernel.  AFAIU there isn't really an upstream (yet) for this, I
> have used/treated the Debian salsa package git as the--for
> now--defacto upstream.  Possibly this rather unconventional approach
> is the best for now, at least until development has come out of its
> experimental stage.
> 
> So, that's where this patch series comes from; hoping this is the best
> way to have these make into upstream proper.

Yep, sure!

> This seemed to work quite well, especially the new cross build.

Glad that it helped (I guess) :)

I have applied your patches, thanks!

Samuel