Re:McKernel – A lightweight multi-kernel OS for high-perform...
by tonysdg on Wednesday November 28, 2018 @06:34AM
(#18550751)
Popcorn Linux is a thing, and it's a multi-kernel OS too: http://popcornlinux.org (I would know, I've been working on it for a few years).
[ Parent
| on HN ]
Re:McKernel – A lightweight multi-kernel OS for high-perform...
by marssaxman on Wednesday November 28, 2018 @05:04PM
(#18556122)
There was even such a thing as "MkLinux", once upon a time! It was the first Linux variant I ever used.