https://linuxfr.org/users/martoni/journaux/kataos-un-os-securise-base-sur-sel4-ecrit-en-rust-par-google