diff options
author | Elena ``of Valhalla'' Grandi <valhalla@trueelena.org> | 2020-10-22 23:37:46 +0200 |
---|---|---|
committer | Elena ``of Valhalla'' Grandi <valhalla@trueelena.org> | 2020-10-22 23:37:46 +0200 |
commit | 56a6d199cd5e474a4e551ac1a57d61a238a36cd0 (patch) | |
tree | 140244d9d95ed9165e9e76b96c16de92630198cd /items/0cd25005fdff4bba8490c2f099a2eb6c.yaml | |
parent | 7ffc817ccc6dadd67d15a289f6edd97d7f5d4cbb (diff) |
Link serata 2020-10-22
Diffstat (limited to 'items/0cd25005fdff4bba8490c2f099a2eb6c.yaml')
-rw-r--r-- | items/0cd25005fdff4bba8490c2f099a2eb6c.yaml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/items/0cd25005fdff4bba8490c2f099a2eb6c.yaml b/items/0cd25005fdff4bba8490c2f099a2eb6c.yaml new file mode 100644 index 0000000..05f42de --- /dev/null +++ b/items/0cd25005fdff4bba8490c2f099a2eb6c.yaml @@ -0,0 +1,10 @@ +title: 'seL4' +url: https://sel4.systems/ +description: > + Microkernel verificato formalmente. +tags: + - security + - microkernel + - verifica formale +added: 2020-10-22T21:07:15+02:00 +updated: 2020-10-22T21:07:15+02:00 |