VxWorks - Growing article, with links to many related topics. Wikipedia. - http://en.wikipedia.org/wiki/VxWorks
Jungo Ltd.: DriverBuilder - Device driver development toolkit for VxWorks, based on successful WinDriver, greatly simplifies x86/PowerPC driver writing. Eliminates the need to learn VxWorks Core OS and API, allows fast access to any PCI/cPCI, ISA/EISA, ISA PnP cards directly from To - http://www.jungo.com/db-vxworks.html