Google abrió el código para el sistema operativo seguro KataOS
Google ha anunciado el descubrimiento de desarrollos relacionados con el proyecto KataOS, cuyo objetivo es crear un sistema operativo seguro para hardware integrado. Los componentes del sistema KataOS están escritos en Rust y se ejecutan sobre el microkernel seL4, para el cual se ha proporcionado una prueba matemática de confiabilidad en sistemas RISC-V, lo que indica que el código cumple completamente con las especificaciones especificadas en el lenguaje formal. El código del proyecto es de código abierto bajo […]
