alt Hacker News"native seL4/Linux"? seL4 can already host Linux VMs, and there are various methods of running Linux code / binaries without hardware virtualisation.
Replies
adastra22 • today at 2:45 PM
And what would be the point of that?
"native seL4/Linux"? seL4 can already host Linux VMs, and there are various methods of running Linux code / binaries without hardware virtualisation.
And what would be the point of that?
A real OS user-land kernel handling real workloads within the capability model.
A Linux VM isn't it.