Seems like an alternative to freeRTOS / RIOT.

Last commit was 8 years ago? Does anyone use it?