Which architecture can boot it in 150ms ?!
(and without unikernels, though they certainly help)
Real hardware is unfortunately limited by the time it takes to initialize firmware, some of which could be solvable with open source firmware and some (eg. RAM training) is not easily fixable.
Source: https://www.theregister.com/2023/08/29/freebsd_boots_in_25ms...
I know you were responding about the boot times but that's just the icing on the cake.