« KataOS, un OS sécurisé basé sur SeL4 écrit en Rust … par Google » 31 octobre 2022 iznogoud Administrateur Systèmes et Réseaux 0 https://linuxfr.org/users/martoni/journaux/kataos-un-os-securise-base-sur-sel4-ecrit-en-rust-par-google
Poster un Commentaire