Embedded Software for the IoT