Google otevřel kód chráněného operačního systému KataOS.
Společnost Google oznámila otevření prací spojených s projektem KataOS, zaměřeným na vytvoření zabezpečeného operačního systému pro vestavěné zařízení. Systémové komponenty KataOS jsou napsány v jazyce Rust a běží nad mikrokernerem seL4, pro který byly na systémech RISC-V poskytnuty matematické důkazy spolehlivosti, prokazující úplnou shodu kódu se specifikacemi stanovenými v formálním jazyce. Kód projektu je otevřen pod licencí […]
