On December 10, 2018 8:48:56 AM EST, Hendrik Boom <[email protected]> wrote: >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?
MINIX and GNU Hurd both exist and work. Hardware support isn't great however, might not work on the specific machine you have. > >-- hendrik > >_______________________________________________ >arm-netbook mailing list [email protected] >http://lists.phcomp.co.uk/mailman/listinfo/arm-netbook >Send large attachments to [email protected] _______________________________________________ arm-netbook mailing list [email protected] http://lists.phcomp.co.uk/mailman/listinfo/arm-netbook Send large attachments to [email protected]
