3 ms·

I believe it. Their libc is remarkably tidy, I've copied stuff out of it several times for various projects. Can't speak for the drivers, though.