Hacker News Reader

L4: https://pdos.csail.mit.edu/6.828/2026/readings/microkernel.p... and RTLinux: https://web.archive.org/web/19970307183643/https://luz.cs.nm...

LinuxCNC (EMC2) was using that approach too, but at first I think they were trying to get hard-real-time performance out of Linux itself, and later I think they might have been using paravirtualization rather than full virtualization, which was conventionally considered impossible on the i386.

View on HN

What "that approach"? In the scope of the initiative, we are talking about full isolation of operating systems (which is possible with the hypervisor). I still don't understand why are you offering me to read about L4 and RT-Linux.

(QSOE/L does use seL4 as one of its possible kernels. But I guess you also haven't noticed this, because, perhaps, you don't care.)

The approach you were asking about: using a hypervisor to drive real-time OSes on industrial computers alongside general-purpose OSes, providing full resource isolation. I was answering your question as to which hypervisor was used. Sorry that wasn't clear.

Reply on news.ycombinator.com