Fuchsia - это операционная система, основанная на возможностях, построенная на основе микроядра Google Zircon, которая сама основана на небольшом ядре .
Имеет смысл сравнить Zircon с seL4 или платформу операционной системы, такую как Genode (которая работает на seL4) с Fuchsia.Я кратко сравниваю seL4 с цирконом.
seL4 предоставляет минимальные механизмы и предназначен для систем с высокой степенью надежности.Циркон обеспечивает большую политику и не предназначен для высокой уверенности, с акцентом на полезность.Я считаю, что оба стремятся к высокой производительности.Короче говоря, seL4 является очень минимальным микроядром по сравнению с Zircon.
Например, хотя seL4 предоставляет механизмы для построения абстракции процесса, он вообще не определяет процесс.Для сравнения, в Zircon заложена большая политика, встроенная в само микроядро, включая процессы.У seL4 есть доказательства многих свойств (функциональная корректность, целостность, изоляция) при настройке для конкретных платформ, а у Zircon нет.