vanner (16.04.2013 08:18, просмотров: 155) ответил Evgeny_CD на Атмел выпустил Cortex-A5 -> . Мир изменился, хотя и не понял этого.
Даже если такой размер ядра получается у OKL4 для ARM, то можете расслабиться, он закрытый и платный. То, что открыто, очень древнее и заброшеное и по сути ближе к Pistachio, там вроде и поддержки ARM нету. Так же учтите, что даже при размере ядра ~80K для нормальной работы системы на L4 нужны еще некоторые компоненты, такие как: sigma0, root task. Это еще добавит кода.
А теперь от теории к практике, под рукой Fiasco.OC+Genode, собрал hello world под Cortex-A8: размер образа около 1,8M. Ядро порядка 300К, sigma0 примерно столько же, остальное Genode + клиент/сервер хеловорда. Кое-что, конечно, можно ужать. Посмотрел размер примерно такого-же хелловорда с использованием L4Re - ~900К.