У меня есть дамп ядра rtp из vxworks, и я пытаюсь проанализировать его, но GDB не распознает формат.Я не вижу каких-либо двоичных файлов с именем gdb в установке рабочей среды, поэтому мне интересно, как я могу проанализировать этот дамп ядра.Рабочее место называет это чем-то другим или есть какой-то способ проанализировать это в рабочем месте?Это workbench4 / vxworks7, но, похоже, он не сильно отличается от workbench3 / vxworks6.x.