Re: Guix and sel4

[Ludovic Courtès]

Hello,

Paul Boddie <address@hidden> skribis:

> There was a remark about the Hurd in the previous thread. The one difference 
> I 
> tend to perceive between the Hurd and systems like L4Re and Genode is that 
> the 
> latter things tend to be demonstrated almost like embedded solutions - you 
> build a specific payload and that is your system - whereas the Hurd behaves 
> like the open-ended system we are familiar with from our desktop computers.

I really like the work that has been put into Genode, it’s impressive.

That said, I think GuixSD on GNU/Hurd is slowly but surely materializing
thanks to Manolis and rennes, and like you write, GNU/Hurd is designed
to be like GNU/Linux from the looks but with tons of goodies inside.  :-)
So I’d encourage you to give Manolis and rennes a hand.

Ludo’.