3 ms·While halvm boots in the 10ms range (like starting a GHC process). These can be very fine grained and fast.by dons 14y agoWhile halvm boots in the 10ms range (like starting a GHC process). These can be very fine grained and fast.