diff options
Diffstat (limited to 'microkernel/genode.mdwn')
-rw-r--r-- | microkernel/genode.mdwn | 4 |
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 |