Shaare your links...
5128 links
yakmoijebrille Home Login RSS Feed ATOM Feed Tag cloud Picture wall Daily
Links per page: 20 50 100
page 1 / 1
2 results for tags sel4 x
  • Home | seL4
    Système d'exploitation prouvé open-source
    Fri Jun 1 11:02:51 2018 - permalink -
    - https://sel4.systems/
    os sel4
  • SeL4 Microkernel v9.0.1 Ported to RISC-V - AB Open
    Le premier microkernel opensource à avoir été prouvé formellement vient d'être porté sur architecture Risc-v
    Wed Apr 18 22:16:26 2018 - permalink -
    - https://abopen.com/news/sel4-microkernel-v9-0-1-ported-risc-v/
    riscv sel4
Links per page: 20 50 100
page 1 / 1
Shaarli 0.0.41 beta - The personal, minimalist, super-fast, no-database delicious clone. By sebsauvage.net. Theme by idleman.fr.