Sökjätten Google har tagit fram ett operativsystem för ett mycket specifikt avgränsat tillämpningsområde: maskininlärning i edge-system på arkitekturen Risc V med extra betoning på säkerhet.
Kata OS (KataOS) heter det nya operativsystemet. Det baseras på mikrokärnan SEL4 för att bli extra säkert. Av samma skäl skrivs det i programspråket Rust.
Det är logiskt omöjligt att knäcka säkerheten i SEL4, enligt Google. Det är matematiskt bevisat att det fungerar enligt sin specifikation.
Rust eliminerar några typer av vanligt förekommande buggar som drabbar den som programmerar i C. TIllsammans ska Rust och SEL4 ge konfidentialitet, integritet och tillgänglighet (det kraschar inte) till Kata OS.
Risc V är den hårdvaruplattform som prioriteras för stöd. Orsaken till detta är ”det ökade fokus” som Risc V får i industrin.
Kata OS är öppen källkod och finns att tanka hem på Github. Vill du veta mer om vad Kata OS är till för och hur det är konstruerat, så finns en blogg här (länk).
För tolv år sedan lät Elektroniktidningen professor Gernot Heiser, förklara hur han kunde hävda att hans SEL4 var buggfritt.