Я тоже подумывал для stm32f207 заюзать RL-ARM, но остановила отсутствие поддержки USB стека
а что вы собираетесь реализовать для stm32f217, исходя из саппорта
http://www.keil.com/dd/chip/5600.htm там только ОС, а самая вкусная переферия отсутсвует
И я так понимаю для RL придется качать MDK-ARM с ключиком?
А какие плюшки дал RTOS на STM32f100 ?