Семейство микроядер L4

Оглавление1 Семейство микроядер L41.1 История и развитие L41.2 Коммерческое использование и развитие1.3 Исследования и разработки1.4 Дополнительные ресурсы1.5 Полный текст статьи:2 […]

Семейство микроядер 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, доступны для дальнейшего изучения. 

Полный текст статьи:

Семейство микроядер L4 — Википедия

Оставьте комментарий

Прокрутить вверх