Originally posted by uid313
View Post
That said, you can also run linux on top of a microkernel virtualized or paravirtualized (The case with L4Linux, L4Android, OKLinux).
There are also aspirations of "microkernelizing" Linux. However, I don't think this would make much sense unless the hardware support can be retained.
Comment