SeL4 est écrit en C (https://github.com/seL4/seL4/tree/master/src/kernel). Alors si KataOS se base dessus, ce n'est pas un OS écrit en Rust. Je pense qu'il part de KataOS et après possède l'interface pour coder les librairies en Rust... Il y a une diférence.
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.
# 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é à 4.
SeL4 est écrit en C (https://github.com/seL4/seL4/tree/master/src/kernel). Alors si KataOS se base dessus, ce n'est pas un OS écrit en Rust. Je pense qu'il part de KataOS et après possède l'interface pour coder les librairies en Rust... Il y a une diférence.
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.