1  title: 'seL4'
 2  url: https://sel4.systems/
 3  description: >
 4      Microkernel verificato formalmente.
 5  tags:
 6      - security
 7      - microkernel
 8      - verifica formale
 9  added: 2020-10-22T21:07:15+02:00
10  updated: 2020-10-22T21:07:15+02:00