Debug vxworks generation