see also uip and contiki as well as the other creations from Mr. Dunkles:

https://dunkels.com/adam/software.html