In my opinion NuttX is like a secret weapon. RTOS, good hardware support for many boards and CPUs, and a very high performance TCP/IP stack that can be interrupted by hard realtime tasks.

It's also growing in popularity now– I would say it hasn't reached mainstream popularity yet. :)