[Arm-netbook] Reframing The Holy War

[Hendrik Boom]

On Mon, Dec 10, 2018 at 12:45:42AM +0100, Paul Boddie wrote:
> 
> Of course, one could look more closely at microkernel-based systems for a 
> possible remedy. Sadly, ever since the famous Torvalds versus Tanenbaum 
> discussion, plenty of people cling to the remarks of the former as he sought 
> to ridicule the work of the latter, oblivious to the fact that...
> 
>  1. Microkernel performance was always a tradeoff (acknowledged by the DMERT
>     work done by Bell Labs in the 1970s and in other contemporary work).
>  2. Performance has improved substantially over the years and in some cases
>     wasn't that bad to begin with, either.
>  3. Billions of devices have shipped with microkernels.
> 
> Some people also probably cling to the idea that Torvalds "won" his debate. 
> Now that MINIX 3 runs in every Intel CPU supporting Management Engine 
> functionality, it is clear who actually won, at least in terms of the "bottoms 
> on seats" measure of success that the Linux kernel developers tend to 
> emphasise over things like GPL compliance by vendors (some of those vendors 
> being Linux Foundation members, of course).

Just curious -- what microkernel systems are available to run on modern 
home computers just in case one is tired of Linux and wanting to try 
something else?

-- hendrik