One of the best things about all this is ARM buying and open sourcing PolarSSL. We at Thingsee have been using another POSIX-like RTOS called NuttX, but there was no viable free SSL-library with low memory profile before that anyone could use.