On 9/24/18 5:24 PM, Joshua Branson wrote: > l...@gnu.org (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).