Семейство микроядер L4
-
История и развитие L4
- L4 — это микроядро операционной системы, разработанное в NICTA в Австралии.
- L4 было создано для обеспечения безопасности и надежности в мобильных устройствах и других системах.
- L4 использует управление доступом на основе возможностей для обеспечения безопасности и целостности данных.
-
Коммерческое использование и развитие
- L4 используется в мобильных телефонах с конца 2006 года и в автомобильных информационно-развлекательных системах.
- Apple использует L4 в своих устройствах, начиная с серии A, с операционной системой sepOS.
- seL4, третье поколение микроядра, разработанное NICTA, получило высокую надежность и было удостоено премии ACM SIGOPS Hall of Fame Award.
-
Исследования и разработки
- Osker, RedoxOS, CodeZero и другие проекты вдохновлены L4 и используют его дизайн для различных целей.
- NOVA OS и WrmOS — это исследовательские проекты, направленные на создание безопасных и эффективных сред виртуализации и операционных систем реального времени соответственно.
-
Дополнительные ресурсы
- Ссылки на официальные сайты и архивы проектов, связанных с L4, доступны для дальнейшего изучения.