Google mengumumkan peluncuran sistem operasi KataOS, yang tujuannya adalah untuk menyediakan sistem keamanan untuk perangkat yang disematkan. Sekarang semakin banyak perangkat pintar bermunculan yang mengumpulkan dan memproses informasi dari lingkungan. Menurut Google, perangkat ini lebih rentan terhadap masalah keamanan.
Oleh karena itu, ada kebutuhan untuk solusi sederhana yaitu sistem yang terlindungi dengan kuat untuk perangkat keras yang disematkan. Jika Anda tidak dapat membuktikan secara matematis bahwa perangkat di sekitar kita menyimpan data dengan aman, maka itu adalah gangguan. Ini karena data yang mereka kumpulkan mungkin rentan terhadap serangan eksternal. Artinya, gambar, rekaman suara, video, dan data lainnya dapat dicuri oleh malware. Inilah alasan mengapa Google harus memperkenalkan KataOS.
Menurut laporan, seL4 dipilih sebagai mikrokernel untuk KataOS. Itu terbukti aman, pribadi dan dapat diakses. Tingkat integritasnya tinggi dan pengguna dapat yakin akan perlindungan. Berkat framework seL4 CAmkES, KataOS juga mampu menyediakan komponen sistem yang didefinisikan dan dianalisis. KataOS menyediakan sistem yang andal dan aman. Ini melindungi privasi pengguna karena aplikasi tidak dapat merusak perlindungan perangkat keras kernel. Selain itu, modul sistem diverifikasi keamanannya. Selain itu, KataOS hampir seluruhnya diimplementasikan di Rust. Ini adalah bahasa yang menghilangkan semua jenis kesalahan, seperti bug off-by-one dan buffer overflows.
Versi sumber terbuka awal KataOS Google telah muncul di GitHub, berisi sebagian besar modul inti KataOS:
- Framework untuk Rust (misalnya sel4 syscall, yang menyediakan API sel4 syscall)
- rootserver alternatif yang ditulis dalam Rust (diperlukan untuk manajemen memori seluruh sistem yang dinamis)
- Modifikasi kernel sel4 untuk mengembalikan memori yang digunakan oleh rootserver.
Google juga bekerja dengan Antmicro. Hubungan ini akan mengaktifkan proses debug dan emulasi GDB melalui Renode untuk perangkat keras target. Secara internal, KataOS juga mampu memuat dan meluncurkan aplikasi pihak ketiga secara dinamis. Ia bahkan menjalankan program yang dibangun di luar kerangka CAMKES. Saat ini, kode di Github tidak berisi modul yang diperlukan untuk menjalankan aplikasi ini. Namun, Google berharap untuk merilis operasi ini dalam waktu dekat.
Google juga membuat implementasi referensi untuk KataOS yang disebut Sparrow. Alasan pembuatan Sparrow adalah untuk sepenuhnya mendemonstrasikan sistem lingkungan yang aman. Ini menggunakan KataOS dengan platform perangkat keras yang aman. Sparrow menyertakan root of trust yang diamankan dengan ketat yang dibangun dengan OpenTitan pada arsitektur RISC-V. Ini merupakan tambahan dari kernel sistem operasi yang aman. Namun, untuk rilis awal KataOS, Google berniat menggunakan emulasi QEMU. Ini akan menggunakan emulasi ini untuk menjalankan sistem ARM 64-bit yang lebih standar.
Anda dapat membantu Ukraina melawan penjajah Rusia. Cara terbaik untuk melakukannya adalah dengan menyumbangkan dana ke Angkatan Bersenjata Ukraina melalui selamatkan hidup atau melalui halaman resmi NBU.
Juga menarik: