FIX: vxworks configuration