Le premier microkernel opensource à avoir été prouvé formellement vient d'être porté sur architecture Risc-v

Merci pour l'astuce.

Pour le coup il m'a déçu, il n'a même pas fait le rapprochement digital -> doigt !

Une librairie C++ permettant d'interpréter le Bitstream des FPGA de chez xilinx.
Open source !
Les sources sur github : https://github.com/florianbenz/bil