Of those, it seems like only TinyOS would qualify (a full userland stack that you can develop from) under the same qualifications that netbsd might qualify....
To be clear, by "true os", I mean a posix runtime, preemptive multitasking with threads and processes, memory protection.
Still, cool links (I'll save that TinyOS for later this week), and I like the username.
[1] http://riot-os.de/ [2] http://www.contiki-os.org/ [3] http://www.tinyos.net/