diff options
| author | Joshua Branson <jbranso@fastmail.com> | 2018-10-31 21:18:59 -0400 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-11-02 20:34:37 +0100 |
| commit | 25b1a04051c566d6448b5664b14b43e991d0e634 (patch) | |
| tree | c44d54a7cb9aed073ad85effacf249044efba100 /microkernel/genode.mdwn | |
| parent | b5c1485ffc6b107f4d29b2d14b1271f1a89a6893 (diff) | |
cgit -> git I added some info on the systemd and Upstart pages. I added some links to other multiserver OSs. some tweaks to the systemd and upstart wiki pages. more info added to the genode OS page. I added a GNU Shepherd page.
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 |