| ▲ | jdub 3 hours ago | |
"native seL4/Linux"? seL4 can already host Linux VMs, and there are various methods of running Linux code / binaries without hardware virtualisation. | ||
| ▲ | avadodin 3 hours ago | parent | next [-] | |
A real OS user-land kernel handling real workloads within the capability model. A Linux VM isn't it. | ||
| ▲ | adastra22 an hour ago | parent | prev [-] | |
And what would be the point of that? | ||