[sedatk]

> so go ahead and write a Production microkernel

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...

[mqus]

Is the article really right though? I imagine that much more stuff runs some linux on any machine than there are running intel processors. Even if it was true in the past, it likely has shifted in linux favor even more

[sedatk]

That doesn’t make the article not right for the time it was published.

[johnisgood]

https://blog.minix3.org/tag/news/

Last post is from 2016. Any news on MINIX front?

[lproven]

AST retired. Nobody's picked up the banner. Damned shame.

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.

[johnisgood]

I wish MINIX3 would pick up, it does look promising, especially looking at its features, the reincarnation and whatnot.

https://wiki.minix3.org/doku.php?id=www:documentation:featur...

:(

[lproven]

Well yes.

I wish Intel set up a community foundation and funded it with 0.01% of what Minix 3 saved it.