TNKernel теперь имеет мьютексы с поддержкой Priority Inheritance
Protocol и Priority Ceiling Protocol.

Появилось несколько дополнительных API функций - в основном, для
создания/стирания обьектов, завершения задач и динамического изменения
приоритета задач.

Добавлены примеры для Atmel AT91SAM7S и STMicroelectronics STR711.

Так же добавлены примеры для большого числа компиляторов:
Rowley CrossWorks 1.5, IAR ARM v.4.30, GCC 4.0.1, ARM ADS 1.2,
ARM RVDT 2.2, GreenHills MULTI2000 v.3.5, Keil CA ARM v.2.4,
Wind River Diab v.5.0.

А есть где-нибудь success stories ее применения?

Ранее не обращал внимания :-(, сейчас бегло-бегло просмотрел.
Радует, что ARMы для нее _родные_, ибо многочисленные формально сделанные порты многочисленных операционок даже на меня, возящегося с ARM всего несколько недель, производят тревожное впечатление.
Несклько огорчает (необоснованно, скорее всего просто привычка) "классический" вариант 64 задачи с 64 приоритетами, но зато быстро :-) да и "заплаточка"??? для невытесняющего варианта присутствует...
Обязательно буду изучать.

Прилагаемый к ОС пример для IAR не работает на AT91SAM7S64 (отладочная плата AT91SAM7S-EK) в Thumb mode; если кому-нибудь удалось завести - подскажите, что нужно исправить? (с архитектурой ARM только начинаю работать)

Что надо сделать:

- Не переводить проект из ARM в Thumb - в Thumb работать не будет точно.
(в примере установлен ARM режим)
- Проверить в *.xcl скрипте линкера границы/размеры RAM/FLASH( в
примерах TNKernel был AT91SAM7S128 с другими размерами RAM/FLASH)
- Проверить (и изменить,если надо) настройки PLL в соотв. c используемым
Вами кварцем (в примере - частота процессора 48 MHz,кварц - 16 MHz)
- Проверить (и изменить,если надо) настройку портов I/0 для управления
светодиодами
- Скомпилировать,загрузить в FLASH и запустить отладчик.Убедиться, что
программа доходит до ф-ции main().После этого все должно работать.

Успеха !

Интересно а в Thumb только пример не будет работать, или это особенность операционки (доступен только режим ARM)?

TNKernel не портировалась для interworking/Thumb режимов.

IMHO,Thumb режим для современных процессоров все менее
необходим(FLASH,как правило,хватает а скорость работы нужна)
и поэтому было просто жалко времени на проверку/отладку в
Thumb режиме.
Если у Вас будет время и желание проверить TNKernel в
Thumb режиме(на любом ARM) и написать о встретившихся проблемах,
то буду весьма признателен.

Да тут как сказать. Что касается AT91SAM7S1ххх то они как раз в Thumb режиме могут работать на более высокой тактовой частоте и соответственно дают больше МИПСОВ.
Вот здесь про это написано.
http://www.atmel.ru/Articles/Atmel32.htm#n1
Так же важно экономия FLASH памяти которая в Thumb режиме больше.
Что касается проверки то это можно но чуть позже, проверить есть на чем вот времени пока нет.
Я тут не спешно подбираю операционку для проекта на AT91RM9200.
C линуксами пока связываться не хочу надо голову перестраивать, да и для моего проекта больше нужно GUI, чем всевозможные стеки TCP и прочие навороты линукса.....
Я с интересом смотрю на TNKernel.
Если я не ошибаюсь то вы автор TNKernel?

Тоже начал присматриваться к этой ОС.

Хотелось бы поподробнее узнать о характеристиках системы, что-то вроде требований к Flash/RAM, время переключения контекста (при такой-то частоте), ...

Можно, конечно, и самому всё проверить и исследовать, но если эту работу уже проделал какой-нибудь добрый самаритянин, то поделитесь впечатлениями.