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: Jonathan Brielmaier
Subject: Re: Long term plan for GuixSD security: microkernels, ocap, RISC-V support
Date: Mon, 24 Sep 2018 19:26:15 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.0

On 9/24/18 5:24 PM, Joshua Branson wrote:
> address@hidden (Ludovic Courtès) writes:
>> 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.

I guess it is a little different as you might think.

Regarding to
https://itsfoss.com/fact-intel-minix-case/
almost every modern (as in last 10 years) Intel CPU runs Minix as "base" system 
for the management engine (Intel ME).



reply via email to

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