VxWorks updates