Добрый день. Разрабатываем устройство на микроконтроллере si1000 от силиконлабс. Стоит задача в выборе операционки. RTX tiny от Keil не подходит по некоторым причинам (например нет IPC). Когда-то ковырял FreeRTOS, но её так и не удалось портировать, хотя сама операционка очень понравилась. В связи с этим возникло 2 вопроса:
1) Удалось ли кому-нибудь запустить FreeRTOS на чем-нибудь отличном от C8051F120 (хотя там даже для него кривой пример, насколько я помню)?
2) Какие операционки для si1000 ещё можно заюзать?