Daily Shaarli
April 18, 2018
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