> I believe Linux is at 75-80 ms for the same environment where I have FreeBSD booting in 25 ms.
From the article, Colin Percival on how Linux does as well. Impressive (though would be good to see other benchmarks to corroborate Colin's).
(Which is an HN comment actually: https://news.ycombinator.com/item?id=37205578.)