Предлагаю вашему вниманию перевод seL4 Whitepaper, который является хорошим введением в одно из самых известных микроядер для ОС — seL4 (лицензия GPLv2).

Здесь не только специфика seL4 и микроядер, но и много полезного материала в целом по безопасности, формальной верификации, виртуализации и системам жёсткого реального времени.

Среди открытых лицензий хорошо известны строгие (strong copyleft) GPL и (с другой стороны) разрешительные (permissive) — MIT, Apache. Однако менее известен слабый копилефт (weak copyleft), который находится между ними. А ведь эти лицензии имеют такие популярные приложения и библиотеки, как Mozilla Firefox, glibc, LibreOffice и другие.

Подходящий ли это вариант для интеграции открытого софта в закрытый ? И стоит ли авторам ПО с открытым кодом использовать лицензии слабого копилефта вместо разрешительных?