Tornado vxworks debugging environment