Ce que dit l'article c'est qu'ils ont testé leurs composants et OS avec un FPGA.
Oui tout à fait. Et le Precursor de 2020 tournait avec un FGPA
J'en profite pour ajouter
The Betrusted team is funded in part through the NGI0 PET Fund, a fund established by NLnet with financial support from the European Commission’s Next Generation Internet programme, under the aegis of DG Communications Networks, Content and Technology under grant agreement No 825310.
A goal of mine is to give everyday people tangible reasons to trust their hardware. Betrusted is a multi-year project of mine to deliver a full-stack verifiable "from logic gates to Rust crates" supply chain for security-critical applications such as password managers
[^] # Re: Un FPGA vraiment ?
Posté par Luc-Skywalker . En réponse au lien Un SoC RISC-V, un FGPA open hardware et un OS dédié écrit en Rust. Évalué à 3.
Oui tout à fait. Et le Precursor de 2020 tournait avec un FGPA
J'en profite pour ajouter
Idem pour son projet IRIS (Infra-Red, in situ)
Intro de l'article:
Texte du lien
Résultat (image 15 Mo pour un bcm59365)
"Si tous les cons volaient, il ferait nuit" F. Dard