4 ms·
I believe NetBSD also holds the record for the fastest kernel boot time for a general purpose operating system -- I held this record with FreeBSD with the syste
by cperciva 1y ago
I believe NetBSD also holds the record for the fastest kernel boot time for a general purpose operating system -- I held this record with FreeBSD with the system booting in about 23 ms but Emile got NetBSD down to 15 ms IIRC and I've been too busy to work on FreeBSD/Firecracker lately.
- johnisgood 1y agoInteresting! Both 23ms and 15ms are lightning fast. Have you written about it anywhere in more detail?
- cperciva 1y agoI gave a talk about FreeBSD on Firecracker at bsdcan a few years ago. Sorry I'm on my phone just before an orchestra concert so I can't give you a link but if you Google "BSDCan Colin Percival Firecracker" you should find it on YouTube.
- johnisgood 1y agohttps://www.youtube.com/watch?v=MT3cdeuRTzs https://www.youtube.com/watch?v=MT3cdeuRTzs - Porting FreeBSD to Firecracker by:Colin Percival?
- cperciva 1y agoYup that's the one.
- dlcarrier 1y agoI watched that video when it was published, and really enjoyed it, as well as most of the BSDCan presentations. I subscribed to the YouTube channel, but there any other similar conventions that you would recommend? I've found that the Chaos Communication Congress presentations are hit and miss, but BSDCan presentations are quite regularly succinct and entertaining.
- lateralux 1y agohttps://smolbsd.org/ https://smolbsd.org/
- 1313ed01 1y agohttps://news.ycombinator.com/item?id=45582758 https://news.ycombinator.com/item?id=45582758
- johnisgood 1y agoOooh, that got me curious! I will give this a try.
- dlcarrier 1y agoThere was a thread about it, a couple of weeks ago: https://news.ycombinator.com/item?id=45582758 https://news.ycombinator.com/item?id=45582758