Детерминированность и скорость реакции можно найти в приложенном документе. Всё остальное определяется исключительно реализацией. Я предлагаю оригинальные компоненты - супервизор, файловую систему, сетевую систему. Предлагаю платформу, на базе которой вы можете построить различные решения. Предлагаю пока для ознакомления.
Что касается архитектуры ARM, то используемая мной версия Pistachio имеет поддержку ARM. Самые последние версии L4Ka::Pistachio поставляются без кода АRМ. Нынче платформу АРМ поддерживает
http://www.ok-labs.com/ - коммерческая дериатива от Pistachio. Кстати, сразу возникает вопрос, а старую версию я имею право использовать и модифицировать, если она распространялась под BSD Two Clause License?
Что касается плагиата... я всё же прошу всех заглянуть в прикреплённый файл. Я нахожу его очень красивым и полезным. А всё остальное - всего лишь реализация.