Qu'on me corrige au besoin (j'ai à peine touché à l'embarqué en jouant avec de l'arduino), mais l'OS n'est pas vraiment certifié, seul le micro kernel (Sel4) l'est, et l'était déjà avant l'arrivée de google avec Rust.
Tout à fait, et si l'on veut être tatillon je dirais même que Sel4 n'est pas certifié non plus puisque c'est l'ensemble du système que l'on certifie.
Il vaudrait mieux parler d'OS «certifiable».
De mon point de vue, cet OS est plutôt un framework qui inclus un lib pour communiquer avec le kernel et qui vient avec quelques fonctions supplémentaires utiles (loggers, custom allocators, ..). Mais j'imagine que c'est ce qu'on appelle un OS à ce niveau :-)
On est proche du débat GNU/Linux. Peut-être devrait-on parler de distribution Sel4 pour le coup ?
[^] # Re: Nuances
Posté par martoni (site web personnel, Mastodon) . En réponse au journal KataOS, un OS sécurisé basé sur SeL4 écrit en Rust ... par Google. Évalué à 4. Dernière modification le 20 octobre 2022 à 09:35.
Tout à fait, et si l'on veut être tatillon je dirais même que Sel4 n'est pas certifié non plus puisque c'est l'ensemble du système que l'on certifie.
Il vaudrait mieux parler d'OS «certifiable».
On est proche du débat GNU/Linux. Peut-être devrait-on parler de distribution Sel4 pour le coup ?
J'ai plus qu'une balle