26 Mar
2025
26 Mar
'25
11:16 p.m.
100ms for Linux Kernel + initramfs boot? On Wednesday, March 26, 2025, Gernot Heiser <gernot@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