По мотивам примера из С-Spy SDK (спасибо Ксении за него) начал я писать плагин для отладки приложений с TNKernel (пока только для ARM). На данным момент реализовано только обзор задач и их состояния. По примеру сделанного будет писаться и остальное (event, mutex и т.д.).

В общем если будут пожелания и рекомендации - пишите.

P.S. TNKernel я чуток модифицировал (добавил имена для всех системных объектов - удобнее, например, видеть имя задачи, а не адрес ее функции в списке задач), но по идее плагин будет работать и на чистой авторской RTOS.

P.S.S. Архив распаковывать в \IAR Systems\Embedded Workbench 6.0\arm\plugins\rtos\