NetBSD's networking stack got its way into Sony's Playstation Portable and QNX.
So the networked devices running QNX is aptly running NetBSD code, neat eh.
And there is the virtually unknown number of networked devices(like cameras) running the NetBSD kernel or code too.
NetBSD, coming to a hair drier near you...

With pure accidental dumb luck I managed to boot NetBSD 2.0 kernel into multiuser with DragonFlyBSD userland.

I wondered why I was getting weird kernel messages after booting a freshly installed NetBSD 2.0. No problems booting until logging in where it complained about a missing /etc/pam.conf and some ttys missing but eventually I got a my shell.

SSH coredumped when running it and kernel messages popped up occasionally but then less, cat, vi and most of userland run normally. After a careful examination of fstab I realized that it was mounting my DFly partition on Partition1 instead of Partition2 where I really put NetBSD.

Old BSD routing code gets a nice facelift courtesy of Jeffrey Hsu.

Modified files:
    sys/net              hostcache.c if_atm.h if_fddisubr.c 
                         route.c route.h rtsock.c 
    sys/net/faith        if_faith.c 
    sys/netinet          if_ether.c in_gif.c in_hostcache.c 
                         in_rmx.c ip_icmp.c 
    sys/netinet6         icmp6.c in6.c in6_gif.c in6_ifattach.c

http://scholar.google.com is really nice.
If you're looking for books, citations and pdfs relevant to your topic of interest then you're in for a treat.
The search results are very clean without the noise that usually comes with a general search.
I'm sure this will be very useful not just for school work but also as an additional resource for your personal research.

)
The Mars Exploration Rover runs on VxWorks one of the best RTOSs
A nice interview with Mike Deliman former OS chief engineer at Wind River Systems currently a full-time employee at NASA’s Jet Propulsion Laboratory (JPL).
The interview has good insights into the work done on the MER project
software and hardware wise.
Read more at
http://acmqueue.com/modules.php?name=Content&pa=printer_friendly&pid=227...