News for hackers. Stuff that matters.
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).
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.