OS yang sedang dibangun dengan mikrokernel "keamanan-pertama" sel4 baru ini open source tetapi tidak berbasis Linux dan tidak ada hubungannya dengan OS Fuchsia Google.
Data61, cabang digital dari lembaga penelitian Australia CSIRO, mengumumkan sel4 pada tahun 2020 sebagai kernel bebas bug yang terbukti secara matematis. Yayasan Linux menjadi tuan rumah bagi Yayasan sell4.
"Sebagai dasar untuk sistem operasi baru ini, kami memilih seL4 sebagai mikrokernel karena menempatkan keamanan di depan dan di tengah; secara matematis terbukti aman, dengan jaminan kerahasiaan, integritas, dan ketersediaan," jelas Google.
"Melalui kerangka kerja CAmkES seL4, kami juga dapat menyediakan komponen sistem yang ditentukan secara statis dan dapat dianalisis. KataOS menyediakan platform yang sangat aman yang melindungi privasi pengguna karena secara logis tidak mungkin bagi aplikasi untuk melanggar perlindungan keamanan perangkat keras kernel dan komponen sistem benar-benar aman."
Sebelumnya, Google meluncurkan Fuchsia OS-nya yang ditujukan untuk IoT. OS tersebut berjalan di perangkat Made by Google seperti Nest Hub. Semoga KataOS bisa terus dikembangkan dan menjadi sistem operasi yang terbukti aman.