Performance study of real‐time operating systems for internet of things devices