VxWorks and Tornado II FAQ