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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
