Linux. Затем группа UNSW перешла в фирму NICTA, создала ответвление микроядра L4Ka::Pistachio и назвала его «NICTA::L4-embedded». Новое микроядро писалось
L4.verified, реализовывавшегося в австралийском исследовательском центре NICTA[англ.] впервые было предоставлено формальное доказательство функциональной
распространяется под лицензией GPL. Он может работать с ядром Linux или микроядром NICTA :: Pistachio L4. Доступный в настоящее время коммерческий продукт компании
ресурсов; энергетическая технология; науки о продовольствии и питании; центр NICTA[англ.]; земля и вода; отрасли животноводства; морские и атмосферные исследования;