Add support for the Wind River VxWorks RTOS. Thanks to Rogerio Dos Santos.