Может быть у кого-то был опыт запуска ThreadX в режиме SMP (symmetric multi processing) на Zynq-7000. Вроде в исходниках на гите (https://github.com/azure-rtos/threadx) есть порт, но не удается его запустить (проц подвисает на ошибке обращения к памяти). Буду рад любой помощи, кроме отсылок к Linux - проект устоялся и переходить на него нет смысла (сейчас все работает под ThreadX с одним ядром).