"I think the fastest I got the FreeBSD kernel booting in Firecracker was 21 ms. NetBSD is now at 18 ms... I need to go back and address some more of the issues I noticed but didn't get around to fixing.
Anyone know what the current record for Linux is? Last I heard was ~50 ms."
The bug Netflix tripped over was something I introduced while shaving off milliseconds, yes.
The "other issues I didn't get around to fixing" are things like precomputing lookup tables (we can wait and do them on demand, or not at all if they turn out to never get used) and an O(n^2) issue registering names of sysctls.
Anyone know what the current record for Linux is? Last I heard was ~50 ms."
- @cperciva at https://twitter.com/cperciva/status/1747270461095043532