Google, başka bir deneysel işletim sistemini ortaya koyuyor: KataOS

Yeni işletim sistemlerini denemek isteyen çok az teknoloji şirketinden biri olan Google, gömülü makine öğrenimi cihazları için KataOS'u tanıttı.

KataOS, Sparrow ile birlikte Google Açık Kaynak blogunda duyuruldu. KataOS işletim sistemi tasarımıdır ve Weston görüntüleme sunucusu Wayland'ın referans uygulaması olduğundan Sparrow referans uygulamasıdır.

Plan, KataOS'un "ML uygulamalarını çalıştıran gömülü cihazlar için optimize edilmiş, kanıtlanabilir güvenli bir platform" olacağıdır. Google, seL4-sys kasasını oluşturan Antmicro ile çalışıyor. Şu anda işletim sistemi Arm64 komut setinde geliştirilmektedir, ancak plan, onu RISC-V kullanan openTitan üzerinde çalıştırmaktır.

GitHub'daki tanıtımına göre, yeni işletim sistemi "neredeyse tamamen Rust'ta yazılmıştır". Bu, Reg FOSS masasının Şubat ayında deneysel Neptune OS'yi ele alırken bahsettiği seL4 olan temel mikro çekirdeği hariç tutar.

sel4 esas olarak C'de uygulandığından, proje, C ve Rust katmanlarını birleştirmek için bir soyutlama katmanı olarak Haskell ve Python kullanan mikro çekirdek tabanlı gömülü sistemler için bileşen mimarisi olan CAmkES'i kullanır.

Mikro çekirdekler, 1980'lerde Sonraki Büyük Şey olarak görülüyordu. Çok fazla ana akım etkisi olmamasına rağmen, çok sayıda oradalar. OG Linux eleştirmeni Dr Andy Tanenbaum tarafından hazırlanan Minix 3, milyonlarca Intel CPU'da sistem yönetim denetleyicisinde kullanılan başarılı bir FOSS mikro çekirdeğidir. Blackberry 10'un temeli ve Blackberry'nin para kazandıran kısmı olan QNX, en çok satan ticari mikro çekirdektir.