Pour gérer vos consentements :
Categories: LogicielsOpen Source

KataOS : Google aussi veut pousser Rust vers l’embarqué

Pousser Rust vers les systèmes embarqués ? En la matière, les initiatives ne manquent pas. Google emmène l’une d’entre elles… et vient d’accentuer la communication à son propos. Sous deux marques : Sparrow et KataOS. La première pour le projet ; la seconde pour son cœur fonctionnel.

On n’est pas parti de zéro. Le groupe américain s’est en l’occurrence appuyé, en association avec un spécialiste de l’embarqué, sur un crate (unité de compilation) adossé à seL4. Le projet, dormant, n’était plus compatible avec les dernières versions du micronoyau. Il a donc été mis à jour… et enrichi avec, notamment, un serveur de gestion dynamique de la mémoire. Il en résulte KataOS, écrit quasi intégralement en Rust.

Sparrow doit constituer une implémentation de référence. Elle ciblera à terme l’architecture RISC-V, en exploitant OpenTitan (framework d’intégration de racines de confiance matérielles). Pour le moment, on est sur une plate-forme plus standard : Arm64, via QEMU.

L’ensemble des briques publiées à l’heure actuelle le sont sous licence Apache 2.0. Le code actuellement disponible n’inclut pas, entre autres, la capacité d’exécution d’applications tierces hors de CAmkES (framework de développement sur microkernels). Ce dernier a une empreinte mémoire telle que l’objectif initial – que KataOS tienne sur 4 Mo de RAM – n’est pas encore atteint. L’une des pistes consisterait à lui substituer un framework Rust natif comme embassy. Il est aussi question, dans la même logique de réduction d’empreinte, de remplacer les templates C par du code Rust.

Photo d’illustration : carte de développement Antmicro sur base Qualcomm Snapdragon 845

Recent Posts

AWS abandonne WorkDocs, son concurrent de Dropbox

Un temps pressenti pour constituer le socle d'une suite bureautique AWS, Amazon WorkDocs arrivera en…

2 jours ago

Eviden structure une marque de « serveurs IA »

Eviden regroupe cinq familles de serveurs sous la marque BullSequana AI. Et affiche le supercalculateur…

2 jours ago

SSE : l’expérience se simplifie plus que les prix

Le dernier Magic Quadrant du SSE (Secure Service Edge) dénote des tarifications et des modèles…

2 jours ago

IA générative : les lignes directrices de l’ANSSI

Formats de paramètres, méthodes d'apprentissage, mutualisation GPU... Voici quelques-unes des recommandations de l'ANSSI sur l'IA…

3 jours ago

De la marque blanche à l’« exemption souveraine », Broadcom fait des concessions aux fournisseurs cloud

À la grogne des partenaires VMware, Broadcom répond par diverses concessions.

3 jours ago

iPadOS finalement soumis au DMA

iPadOS a une position suffisamment influente pour être soumis au DMA, estime la Commission européenne.

3 jours ago