vxworks_kernel_programmers_guide : This guide describes the VxWorks operating system, and how to use VxWorks facilities in the development of real-time systems and applications.