News for hackers. Stuff that matters.

A comment on HelenOS: portable microkernel-based multiserver operating system. Parent comment

Re:HelenOS: portable microkernel-based multiserver operating... by sitkack on Friday August 18, 2017 @01:25PM (#15048063)
I find it ironic that Linux itself is an application running underneath a microkernel.
[ Parent | on HN ]
Re:HelenOS: portable microkernel-based multiserver operating... by kazinator on Friday August 18, 2017 @01:27PM (#15048085)
Running Linux under something lower level is old hat, see RTLinux:

http://www.yodaiken.com/papers/BarabanovThesis.pdf [1997]

Well, that's not exactly a microkernel, but took lots of inspiration from microkernels.

I take it that you may be alluding to the debate between Torvalds and Tannenbaum regarding microkernels.

https://en.wikipedia.org/wiki/Tanenbaum%E2%80%93Torvalds_deb...

[ Parent | on HN ]
Re:HelenOS: portable microkernel-based multiserver operating... by naasking on Friday August 18, 2017 @03:09PM (#15048924)
The first PowerPC linux for the Power Mac ran under the Mach microkernel [1].

Then there was also L4Linux, which I believe was the first low-overhead virtualization of Linux using the L4 microkernel. Papers demonstrated < 10% overhead I believe, where previous virtualization efforts were somewhat higher. I'd say it kicked off the whole paravirtualization/virtualization craze.

[1] http://www.mklinux.org/

[ Parent | on HN ]