We're using NuttX, a POSIX-like RTOS (https://en.wikipedia.org/wiki/NuttX https://en.wikipedia.org/wiki/NuttX) as the base for Thingsee One (http://www.thingsee

We're using NuttX, a POSIX-like RTOS (https://en.wikipedia.org/wiki/NuttX https://en.wikipedia.org/wiki/NuttX) as the base for Thingsee One (http://www.thingsee.com http://www.thingsee.com). Wikipedia has a list of supported MCU-families.