Tornado and VxWorks