> A reboot is even faster, only 0.26 seconds from issuing the reboot to entering user space.
Curious; it doesn't say how that works. Could be kexec, but if it's a real reboot then I'd be interested to know why it's faster. Can you still skip some hardware initialization somehow?