VxWorks boot