Насколько я знаю, в Tornado VxWorks IDE используется gcc toolchain.
В любом случае я предлагаю использовать компилятор, предоставленный WindRiver (который, я считаю, их версия
gcc), чтобы избежать проблем совместимости.
Вероятно, стоит упомянуть версию VxWorks, которую вы имеете в виду.
Я полагаю, что версия gcc будет зависеть от версии VxWorks и, возможно, от целевой платформы.