From 56a6d199cd5e474a4e551ac1a57d61a238a36cd0 Mon Sep 17 00:00:00 2001
From: Elena ``of Valhalla'' Grandi <valhalla@trueelena.org>
Date: Thu, 22 Oct 2020 23:37:46 +0200
Subject: Link serata 2020-10-22

---
 items/0cd25005fdff4bba8490c2f099a2eb6c.yaml | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 items/0cd25005fdff4bba8490c2f099a2eb6c.yaml

(limited to 'items/0cd25005fdff4bba8490c2f099a2eb6c.yaml')

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
-- 
cgit v1.2.3