diff options
authorJoshua Branson <>2018-10-31 21:18:59 -0400
committerSamuel Thibault <>2018-11-02 20:34:37 +0100
commit25b1a04051c566d6448b5664b14b43e991d0e634 (patch)
parentb5c1485ffc6b107f4d29b2d14b1271f1a89a6893 (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.
7 files changed, 42 insertions, 9 deletions
diff --git a/challenges.mdwn b/challenges.mdwn
index a3a8a7e6..b58a50d1 100644
--- a/challenges.mdwn
+++ b/challenges.mdwn
@@ -14,7 +14,11 @@ Some of these are explained in the [[hurd/critique]].
Even though they're quite popular in the simpler embedded space, there is no
successful true multi-server [[microkernel]] system for general-purpose desktop
-use yet. This is still an ongoing research effort. (TODO: add references.)
+use yet. This is still an ongoing research effort. Also the Hurd is not the
+only multiserver operating system. Other examples include:
+[[Genode OS|]] (FOSS), [[MINIX 3|]] (FOSS),
+[[HELON OS|]] (FOSS), and [[QNX|]]
Likewise, resource scheduling in distributed operating system kernels is a
research topic. For example, read more about it on the relevant [[Open Issues
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|]] 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
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 8a23934b..cf5843ff 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -19,9 +19,9 @@ enabled) is around 50 MiB.
## Getting the Source Code
-You can either use the git repository (see <>),
+You can either use the git repository (see <>),
- $ git clone
+ $ git clone
... or get the Debian sources, if you're using Debian. (See
diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn
index be79b02d..486c461e 100644
--- a/microkernel/mach/mig/gnu_mig/building.mdwn
+++ b/microkernel/mach/mig/gnu_mig/building.mdwn
@@ -17,9 +17,9 @@ using a pre-built package, follow these instructions.
## <a name="Getting_the_Source_Code"> Getting the Source Code </a>
You can chose between getting the [sources from the developers'
- $ git clone
+ $ git clone
... or (if you are working on a Debian system) get the sources that are used for the
[current Debian mig package](
diff --git a/open_issues/Upstart.mdwn b/open_issues/Upstart.mdwn
index c8a8347d..1972e197 100644
--- a/open_issues/Upstart.mdwn
+++ b/open_issues/Upstart.mdwn
@@ -8,11 +8,19 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
is included in the section entitled [[GNU Free Documentation
+[[!template id=highlight text="""/!\ Obsolete /!\
+[[systemd|Systemd]] has almost universally replaced upstart."""]]
Upstart is an event based init system that is GPL licensed, however upstream
contributions are under a CLA that permits proprietary relicensing.
-As of Jan 2 2013, Debian is considering adopting Upstart as an init system on
-GNU/Linux, and on GNU/kFreeBSD when the port to kFreeBSD is finished.
+Most major GNU/Linux distributions are choosing systemd as their init system
+instead of upstart. The original upstart developers seem to have stopped
+developing it.
The following are the words of Colin Watson on the
mailing list and list the requirements of a potential HURD port:
diff --git a/open_issues/shepherd.mdwn b/open_issues/shepherd.mdwn
new file mode 100644
index 00000000..e3dec117
--- /dev/null
+++ b/open_issues/shepherd.mdwn
@@ -0,0 +1,15 @@
+[[!meta copyright="Copyright © 2013, 2014 Free Software Foundation, Inc."]]
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
+is included in the section entitled [[GNU Free Documentation
+[[GNU Shepherd|]] is the service manager that
+is used by GuixSD. It is intended for use on the GNU/Hurd, and perhaps one day it will.
+[[!tag open_issue_porting]]
diff --git a/open_issues/systemd.mdwn b/open_issues/systemd.mdwn
index efc46e93..dc8aa6e2 100644
--- a/open_issues/systemd.mdwn
+++ b/open_issues/systemd.mdwn
@@ -24,8 +24,10 @@ Introduction: [*Ressourcen-Verwaltung mit Control Groups (cgroups)*
Daniel Gollub, Stefan Seyfried, 2010-10-14.
-Likely there's also some other porting needed.
+Systemd uses Linux kernel specific mechanisms, which are not readily available
+on gnumach or the GNU/Hurd. Porting systemd to work on the Hurd is a
+daunting task. A better option is to use a portable init system, like the
+the [[GNU Shepherd|open_issues/shepherd]], which is used in GuixSD.
# Discussion