Google on avanud KataOS kaitstud operatsioonisĂŒsteemi koodi
Google kuulutas vĂ€lja researchfor, mis on seotud KataOS projektiga, mille eesmĂ€rk on luua turvaline operatsioonisĂŒsteem sisseehitatud seadmete jaoks. KataOS sĂŒsteemi komponendid on kirjutatud Rust keeles ja töötavad ĂŒle seL4 mikroökonoomia, millel on RISC-V sĂŒsteemide puhul osutatud matemaatiline tĂ”estus usaldusvÀÀrsuse kohta, mis nĂ€itab, et kood vastab rangelt vormilise keele mÀÀratlustele. Projekti kood on avatud litsentsi […]
