Tanenbaum: Microkernels are superior to monolithic kernels.
Torvalds: I agree— so go ahead and write a Production microkernel…
Tanenbaum: Microkernels are superior to monolithic kernels.
Torvalds: I agree— so go ahead and write a Production microkernel…
14 years ago (2011) this thread happened on reddit:
https://www.reddit.com/r/linux/comments/edl9t/so_whats_the_d...
Meanwhile in 1994 I knew people with working linux systems.
According to some people I've met who claimed to witness things (old AI Lab peeps) the failure started with initial project management and when Linux offered alternative GPLed kernel to use, that was enough to bring the effort even more to halt.
He has though. Tanenbaum's created the most popular production OS in the world, and it's microkernel based: https://www.networkworld.com/article/964650/minix-the-most-p...
Last post is from 2016. Any news on MINIX front?
https://www.osnews.com/story/136174/minix-is-dead/
Intel had profited tens to hundreds of millions of dollars from Minix 3. Minix replaced ThreadX (also used as the Raspberry Pi firmware) running on ARC RISC cores. Intel had to pay for both.
If Intel reinvested 0.01% of what it saved by taking Minix for free, Minix 3 would be a well-funded community project that could be making real progress.
It already runs much of the NetBSD userland. It needs stable working SMP and multithreading to compete with NetBSD itself. (Setting aside the portability.)
But Intel doesn't need that. And it doesn't need to pay. So it doesn't.
https://wiki.minix3.org/doku.php?id=www:documentation:featur...
:(
I wish Intel set up a community foundation and funded it with 0.01% of what Minix 3 saved it.