Google telah meluncurkan KataOS, sebuah sistem operasi baru yang aman untuk sistem tertanam pada chip RISC-V open-source.
KataOS Google hampir seluruhnya ditulis dalam Rust, bahasa pemrograman yang telah diadopsi oleh Proyek Open Source Android dan proyek kernel Linux.
"KataOS juga diimplementasikan hampir seluruhnya di Rust, yang memberikan titik awal yang kuat untuk keamanan perangkat lunak, karena menghilangkan seluruh kelas bug, seperti kesalahan satu per satu dan buffer overflows," jelas tim sumber terbuka Google, yang membangun sistem pembelajaran mesin ambient cerdas (AmbiML).
Halaman GitHub proyek menekankan bahwa KataOS dan nama proyek payungnya, Sparrow, sedang dalam proses. Sparrow adalah implementasi referensi KataOS.
Kantor Google (opensourceforu.com)
"Tim kami di Google Research telah berangkat untuk memecahkan masalah ini dengan membangun platform yang terbukti aman yang dioptimalkan untuk perangkat tersemat yang menjalankan aplikasi ML. Ini adalah proyek berkelanjutan dengan banyak hal yang harus dilakukan, tetapi kami bersemangat untuk membagikan beberapa detail awal dan mengundang orang lain untuk berkolaborasi di platform sehingga kita semua dapat membangun sistem ambient cerdas yang memiliki keamanan bawaan secara default," kata Google.
Project Sparrow (hackster.io)
# Sistem Operasi untuk Rumah Pintar yang Dibangun dengan Mikrokernel sel4
KataOS dibuat bukan untuk desktop atau smartphone tetapi Internet of Things, yang mungkin juga termasuk rumah pintar.
Tujuannya adalah untuk membangun sistem yang benar-benar aman untuk perangkat keras yang disematkan atau perangkat edge seperti kamera yang terhubung ke jaringan yang digunakan untuk menangkap gambar yang diproses di perangkat atau di cloud untuk pembelajaran mesin.
"Jika perangkat di sekitar kita tidak dapat dibuktikan secara matematis untuk menjaga keamanan data, maka data pengenal pribadi yang mereka kumpulkan - seperti gambar orang dan rekaman suara mereka - dapat diakses oleh perangkat lunak berbahaya," catat tim AmbiML, yang menambahkan bahwa keamanan sering ditambahkan di bagian akhir.
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.
Beberapa perangkat untuk rumah pintar (feber.se)