I'm new to VxWorks/Tornado. In the setup I'm using, everything related
to debug (e.g. debug toolbar, the debug items in Tools) is greyed out
in Tornado's gui. Any ideas/suggestions about how to enable the
debugger?

Thanks in advance,
Martin