4 ms·

I think they used FreeBSD because they were already using FreeBSD. The article doesn't mention Linux.