TizenRT is a lightweight RTOS-based platform to support low-end IoT devices - View it on GitHub