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