3 ms·

I'm personally really excited for TockOS. I'd love to start seeing some comparisons of these new embedded OSes.