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