Well what I would try to do for IoT is a RTOS and not just a normal linux kernel, who know what they will come out with...