[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Guix and sel4

From: Ludovic Courtès
Subject: Re: Guix and sel4
Date: Tue, 16 Jan 2018 17:23:12 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)


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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]