Доброго всем лета.
В рамках курса Программное обеспечение ВВС в прошлом году писалось микроядро L4Xpresso - L4-подобное ядро для процессоров Cortex-M3. Идея была - проверить насколько особенности использования микроядер (изоляция компонентов в потоках, что приводит к постоянному переключению контекстов и IPC) могут повлиять на возможность реализации мягкого реального времени.
К сожалению, все остановилось на функциональном прототипе из-за недостатка времени и занятия собственной магистерской диссертацией. Думаю, заявленная идея может лечь в основу бакалаврской или магистерской работы.
Исходные коды доступны здесь: https://github.com/myaut/l4xpresso
Документацию выложу позже
Связаться можно со мной через почту: myautneko@gmail.com