summaryrefslogtreecommitdiff
path: root/microkernel/genode.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel/genode.mdwn')
-rw-r--r--microkernel/genode.mdwn4
1 files changed, 4 insertions, 0 deletions
diff --git a/microkernel/genode.mdwn b/microkernel/genode.mdwn
index 66dd6b38..757d20a8 100644
--- a/microkernel/genode.mdwn
+++ b/microkernel/genode.mdwn
@@ -10,6 +10,10 @@ License|/fdl]]."]]"""]]
* [[RPC]]
+[[Genode|https://genode.org/]] is an operating system framework with the goal
+of creating a general purpose multiserver operating system running on a microkernel.
+The source code is dual licensed: AGPLv3 and a commercial license.
+
# IRC, freenode, #hurd, 2012-08-02