100ms for Linux Kernel + initramfs boot?
On Wednesday, March 26, 2025, Gernot Heiser <[email protected]> wrote: > On 27 Mar 2025, at 08:16, Hugo V.C. via Devel <[email protected]> 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 -- [email protected] To unsubscribe send an email to [email protected]
