For IoT, if it cannot run Linux, then should use FreeRTOS + lwIP (?).
This work is based on the the original work of William Davy on Posix/Linux Simulator for FreeRTOS, and megakilo fork.
Get the FreeRTOS v8.2.3 with make -f Makefile.tools
Under examples/demo, run make, then ./main.out to see output.
See demo makefile to create your own program.