100ms for Linux Kernel + initramfs boot?
On Wednesday, March 26, 2025, Gernot Heiser <ger...@unsw.edu.au> wrote: > 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
