Исходное сообщение
"Релиз открытой микроядерной ОС Genode 12.02" Отправлено sasa, 01-Мрт-12 14:38
>А лицензия BSD - это ад, она тормозит развитие СПО. Чтобы еще было понятней - OKL4 это отпочковавшаяся ветка Pistachio/ARM, они отделились и в Pistachio поддержки ARM больше нет, при этом закрыли все исходники. В GPL-ом варианте L4 - Fiasco.OC есть поддержка вплоть до armv7 (Cortex-A). То же самое происходит и в LLVM - все что имеет коммерческий интерес, а это в первую очередь поддержка ARM - закрыто, в паблике какие-то вялые наработки, которые сливают GCC в разы.