Linux is no different...
For me IoT = STM32F4xx + NETMF
Does everything I need...
right on Juzzer ... I can only agree ... and now with the 411 coming, even the better ...
The STMF32F429 is, once getting it to work and as far as I can say for the moment, pretty fast but power hungry as well ...
.. but than again it is not really needed (fot IoT) to have the LCD power on board, there are other ways to display output ...
Can't barely wait for the discovery kit coming out in the fourth quarter ... maybe an idea for your next workshop (the 411) ...