http://mail.fsfeurope.org/pipermail/discussion/2016-April/010912.html
Discussion sur hackernews : https://news.ycombinator.com/item?id=11422531
tl;dr : leon3
C'est un processeur synthetisé en VHDL qui implémente les instructions SPARC V8
http://www.gaisler.com/index.php/products/processors/leon3
Pour télécharger les sources.
http://www.gaisler.com/index.php/downloads/leongrlib?task=view&id=156
Tu peux le synthetiser sur fpga, ou même l'utiliser pour faire ton propre ASIC que tu mettras sur ta propre board (un peu plus cher
)
Il doit bien y avoir une dev board quelque part, mais probablement pas pour le grand public.
Ce serait génial que ça voie le jour.
Enfin je ne suis pas certain que ça corresponde à ce que tu recherches. 
RISC-V aussi a l'air complètement libre
http://riscv.org/risc-v-foundation/
Pour un laptop le plus libre possible à partir d'une dev board, tout en restant dans le domaine de l'utilisable, olinuxino est pas mal, notamment parce que les chip allwinner sont sans encombre (contrairement à des samsung exynos, boardcom, ou bien snapdragon,) même s'il y a eu des problèmes de violation de GPL par le passé je crois qu'aujourd'hui ça va.
Message édité le 12 avril 2016 à 21:32:54 par f0c300