Google ha aperto il codice del sistema operativo protetto KataOS
La società Google ha annunciato l'apertura dei risultati legati al progetto KataOS, che mira a creare un sistema operativo protetto per dispositivi embedded. I componenti di sistema di KataOS sono scritti in linguaggio Rust e vengono eseguiti su un microkernel seL4, per il quale nei sistemi RISC-V è fornita una dimostrazione matematica di affidabilità, che attesta la piena conformità del codice con le specifiche stabilite in un linguaggio formale. Il codice del progetto è aperto sotto licenza […]
