News for hackers. Stuff that matters.
Re:The seL4 microkernel by FullyFunctional on Wednesday July 30, 2014 @12:15AM (#8106328)
Maybe this is a bad place to ask, but why the virtualization requirement for running Linux on top? Is there for security reasons?

There are (have been?) other L4/Linux projects and they didn't require this.

There are no comments on this comment yet.