Comparing Xen and SeL4 (QubesOS)

seL4 kernel
1

How does SeL4 compare with a hypervisor like Xen? Does it have a smaller attack surface?

What would it take to replace Xen with SeL4 as part of QubesOS?

1 Like
2

What would it take to replace Xen with SeL4 as part of QubesOS?

Sounds like this is something https://trustworthy.systems/projects/TS/makatea aims for.