4 ms·

Never mind seconds, I have the FreeBSD kernel boot (aka time-to-init(8)) down to 40 ms in Firecracker.