À l'heure où j'écris ces lignes a lieu le 5 ème workshop sur jeux d'instruction libre (ISA Risc-V au campus google à Mountain View.
Et c'est à cette occasion qu'est présenté la carte HiFive1 composée d'un microcontrôleur Freedom Everywhere 310 (FE310) à cœur SiFive (utilisant le jeux d'instructions Risc-V). Une carte compatible Arduino mais 10 fois plus puissante et entièrement libre, jusqu'au silicium.
La description hardware en Chisel/Verilog est disponible sur github et il est possible de simuler intégralement le modèle qui tournera sur la carte.
Contrairement à l'open-v, le développement du HiFive1 est déjà terminé et le crowdfunding organisé n'est là que pour les précommandes.
La société SiFive se base sur ce microcontrôleur ainsi que sur un microprocesseur Freedom U500 pour promouvoir son savoir faire et proposer à ses clients des puce «full-custom» à base de briques opensource.
Visiblement, pour 60$ il est donc possible de se procurer le kit compatible arduino intégralement open-source qui sera disponible en février 2017.
# Ça évolue vite !
Posté par Chuck #1 . Évalué à 10.
L'Open hardware évolue drôlement vite depuis un an. Ça fait plaisir. Ça fera peut-être bouger les choses vers moins de blobs binaires.
En tout cas, un grand merci à tous ceux qui nous font part de ses projets via des journaux et des dépêches.
Cette signature est publiée sous licence WTFPL
# Commentaire supprimé
Posté par Anonyme . Évalué à -10.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par Marotte ⛧ . Évalué à 3.
Qui désigne ces hackers ?
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à -10. Dernière modification le 30 novembre 2016 à 09:16.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par pulkomandy (site web personnel, Mastodon) . Évalué à 1.
Je suis curieux d'avoir vos listes de 10 candidats. ça sera au moins l'occasion de découvrir des gens et des projets intéressants!
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à -10.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par Misc (site web personnel) . Évalué à 2.
Je propose d'adopter le même système que l’élection du doge de Venise.
Pour info: https://fr.wikipedia.org/wiki/Doge_de_Venise#.C3.89lection
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par martoni (site web personnel, Mastodon) . Évalué à 4.
À quand les captchas sur les commentaires linuxfr ?
Histoire d'éviter ce genre de robot pipotron-complotiste.
J'ai plus qu'une balle
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par Frank-N-Furter . Évalué à 4.
Tu bluffes, Martoni!
Il bluffe.
Depending on the time of day, the French go either way.
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par Loïs Taulelle ࿋ (site web personnel) . Évalué à 3.
Pas sûr…
Proverbe Alien : Sauvez la terre ? Mangez des humains !
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par martoni (site web personnel, Mastodon) . Évalué à 2.
On vote ?
Moi j'dis qu'il bluff pas.
(je ne savais pas que le Commissaire Bialès moulait sur linuxfr, la classe ;) )
J'ai plus qu'une balle
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par Tonton Th (Mastodon) . Évalué à 1.
Si, il y a quand même un arrière-gout.
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à -10.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à -10. Dernière modification le 30 novembre 2016 à 11:24.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par Benjamin Henrion (site web personnel) . Évalué à 6.
Ou ca:
http://hackaday.com/2016/11/28/neutralizing-intels-management-engine/
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par reynum (site web personnel) . Évalué à 2.
Pourriez vous ce donner le nom d'au moins une personne de cette "communauté de confiance" qui à fait la preuve formelle de votre processeur AMD ou Intel dans votre PC ou ARM de votre téléphone ou tablette ?
kentoc'h mervel eget bezan saotred
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à -10.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par Tonton Th (Mastodon) . Évalué à 2.
FUFA DÉMISSION !
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par reynum (site web personnel) . Évalué à 6.
Non en fait mon commentaire sarcastique était seulement destiné à montrer que dés qu'on parle de libre il faut une "communauté de confiance" mais qu'on s'en moque à partir du moment où c'est payant parce que quand on paye c'est forcément bien et que …
pfff autre chose à faire que de jouer à don Quichotte
kentoc'h mervel eget bezan saotred
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par Misc (site web personnel) . Évalué à 9.
Ceci dit, au risque d'alimenter les complotistes, l’état de l'art, c'est des choses comme ça:
http://sharps.org/wp-content/uploads/BECKER-CHES.pdf
"Stealthy dopant-level hardware trojans"
Avec la réponse 2 ans plus tard:
http://eprint.iacr.org/2014/508.pdf
"Reversing Stealthy Dopant-Level Circuits"
Autre papier intéressant dans la même veine:
"Threshold-Dependent Camouflaged Cells to Secure
Circuits Against Reverse Engineering Attacks"
http://arxiv.org/pdf/1605.00684
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à -6.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à -7.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à -9. Dernière modification le 02 décembre 2016 à 13:00.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par pulkomandy (site web personnel, Mastodon) . Évalué à 3.
En français, on dit tension, pas voltage.
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à -8.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à -9. Dernière modification le 02 décembre 2016 à 14:21.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à -10. Dernière modification le 02 décembre 2016 à 14:04.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Re: Preuve formelle et supervision de la fabrication et de la distribution
Posté par Harvesterify (site web personnel) . Évalué à 0.
Ne pas oublier les attaques dites "A2" également : https://www.wired.com/2016/06/demonically-clever-backdoor-hides-inside-computer-chip/
Le papier en question : http://static1.1.sqspcdn.com/static/f/543048/26931843/1464016046717/A2_SP_2016.pdf
Mes messages engagent qui je veux.
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à -4.
Ce commentaire a été supprimé par l’équipe de modération.
[^] # Commentaire supprimé
Posté par Anonyme . Évalué à -6.
Ce commentaire a été supprimé par l’équipe de modération.
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.