diff options
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 |