26 Mar
2025
26 Mar
'25
10:37 p.m.
On 27 Mar 2025, at 08:16, Hugo V.C. via Devel <devel@sel4.systems> wrote:
"Having to rely on VMs for anything that isn’t written from scratch for seL4 would not be great."
A stripped down Linux kernel seL4 VM boots in few seconds. Just tweak Linux to be fast and have a full flexible environment. As a QubesOS user I don't see any speed difference from running Xen guests…
That seems long. We used to have this down to the order of 100ms (but I don’t think anyone looked into VM startup times recently). Gernot