Un SBI complet en Rust : le projet SBI-RS

Le 17 juin 2026, le projet SBI-RS a été publiquement documenté : un SBI (Supervisor Binary Interface) complet écrit en Rust, qui se positionne comme le socle firmware de référence pour les plateformes RISC-V en 2026.

Pourquoi Rust

SBI est le firmware intermédiaire qui gère l’interface entre le matériel et le système d’exploitation. En Rust, le projet promet un taux de bugs de sécurité bien inférieur au C, avec des tests de propriété formelle intégrés.

L’écosystème RISC-V

Le projet se connecte directement aux efforts d’open-source du monde RISC-V : OpenTitan pour la sécurité, TranSBI pour la stabilité, et Linux pour le support complet. Le SBI-RS est le premier socle firmware complet en Rust pour la plateforme RISC-V.