For instructions for diversification, see "Interface Diversification in IoT Operating Systems".
# Thingsee OS SDK
Thingsee OS is the real-time operating system powering [Thingsee One](http://thingsee.com), a smart, durable and connected sensor device. Thingsee OS is based on [NuttX](http://nuttx.org/).