[tonysdg]

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

[marssaxman]

There was even such a thing as "MkLinux", once upon a time! It was the first Linux variant I ever used.