mbed-os was a cool environment but never took off. zephyr is more mature and has an API in C, the learning curve is a bit steeper though.