GitHub repository: reissjason/mbed-os
Description: ARM Mbed OS is a platform operating system designed for the internet of things