Bezpečnou platformu pro vestavěná zařízení, na nichž běží aplikace strojového učení, se rozhodli vytvořit ve společnosti Google. Pod názvem KataOS představili projekt a současně pracovní verzi operačního systému, jenž je téměř celý napsán v jazyce Rust. Právě na něj sází i Android Open Source Project nebo projekt linuxového jádra.
Bezpečnost navržené platformy má představovat prioritu. Té se podřídila i volba programovacího jazyka, jenž má právě v tomto ohledu nemalé ambice. Projekt operačního systému či celé platformy nese jméno KataOS, jeho referenční implementace má označení Sparrow. Zdroje jsou umístěny na portálu GitHub.
V současnosti jde o pracovní návrhy platformy KataOS. Ta má v případné finální podobě pohánět prvky internetu věcí, například přístroje chytré domácnosti, na nichž pracují aplikace strojového učení. Cílem projektu je podpořit tvorbu prokazatelně zabezpečených systémů pro vestavěný hardware nebo zařízení na okraji sítí. Do značné míry jde o ochranu osobních a citlivých údajů, jež tato zařízení pořizují nebo zpracovávají.
Systém KataOS využívá nové mikrojádro seL4. To si do vínku dalo heslo „security first“, patří do rodiny open source, ale není založeno na Linuxu a nemá vztah k systému Fuchsia OS společnosti Google. Framework seL4 CAmkES umožňuje tvůrcům systému poskytovat staticky definované a analyzovatelné systémové komponenty. KataOS díky nim nabízí prokazatelně bezpečnou platformu, která chrání soukromí uživatele, protože je logicky nemožné, aby aplikace narušily ochranu hardwarového zabezpečení jádra a systémové komponenty.
Projekt má podporovat čipy architektury RISC-V, o kterou se zajímá řada firem a organizací. Referenční implementace Sparrow obsahuje logicky bezpečný „kořen důvěry“ postavený pomocí know-how projektu OpenTitan na architektuře RISC-V. Současné vydání se však zaměřuje na standardní 64bitovou platformu ARM běžící v simulaci QEMU.
