guix-devel
[Top][All Lists]
Advanced

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

Re: Long term plan for GuixSD security: microkernels, ocap, RISC-V suppo


From: Joshua Branson
Subject: Re: Long term plan for GuixSD security: microkernels, ocap, RISC-V support
Date: Mon, 24 Sep 2018 11:24:50 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)

address@hidden (Ludovic Courtès) writes:

> Hi there!
>
> Christopher Lemmer Webber <address@hidden> skribis:
>
>
> We could also mention MINIX, which many of us are already using daily.
> :-)

That's pretty awesome!  I didn't realize gnu developers were using
MINIX.

Also perhaps in a few years, x15 may turn into a workable hurd clone.

https://www.sceen.net/x15/

>
>
> Thoughts?
>
> Ludo’.



reply via email to

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