Retourner au contenu associé (journal : KataOS, un OS sécurisé basé sur SeL4 écrit en Rust ... par Google)
Posté par abriotde (site web personnel, Mastodon) le 19 octobre 2022 à 14:25. En réponse au journal KataOS, un OS sécurisé basé sur SeL4 écrit en Rust ... par Google. Évalué à 1.
J'ai vu qu'@Elfir3 arrive à la même conclusion avec son commentaire "Nuances"
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: SeL4
Posté par abriotde (site web personnel, Mastodon) . En réponse au journal KataOS, un OS sécurisé basé sur SeL4 écrit en Rust ... par Google. Évalué à 1.
J'ai vu qu'@Elfir3 arrive à la même conclusion avec son commentaire "Nuances"
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.