5330 shaares
5 private links
5 private links
2 results
tagged
sel4
Système d'exploitation prouvé open-source
Le premier microkernel opensource à avoir été prouvé formellement vient d'être porté sur architecture Risc-v