summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--challenges.mdwn6
-rw-r--r--microkernel/genode.mdwn4
-rw-r--r--microkernel/mach/gnumach/building.mdwn4
-rw-r--r--microkernel/mach/mig/gnu_mig/building.mdwn4
-rw-r--r--open_issues/Upstart.mdwn12
-rw-r--r--open_issues/shepherd.mdwn15
-rw-r--r--open_issues/systemd.mdwn6
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|https://genode.org/]] (FOSS), [[MINIX 3|https://www.minix3.org/]] (FOSS),
+[[HELON OS|http://www.helenos.org/]] (FOSS), and [[QNX|https://blackberry.qnx.com/en]]
+(proprietary).
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|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
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 <http://git.savannah.gnu.org/cgit/hurd/>),
+You can either use the git repository (see <http://git.savannah.gnu.org/git/hurd/>),
- $ git clone http://git.savannah.gnu.org/cgit/hurd/gnumach.git/
+ $ git clone https://git.savannah.gnu.org/git/hurd/gnumach.git/
... or get the Debian sources, if you're using Debian. (See
[here](http://packages.debian.net/source/unstable/gnumach).)
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'
-RCS](http://git.savannah.gnu.org/cgit/hurd/):
+RCS](https://git.savannah.gnu.org/git/hurd/):
- $ git clone http://git.savannah.gnu.org/cgit/hurd/mig.git/
+ $ git clone https://git.savannah.gnu.org/git/hurd/mig.git/
... or (if you are working on a Debian system) get the sources that are used for the
[current Debian mig package](http://packages.debian.net/source/unstable/mig):
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
License|/fdl]]."]]"""]]
+
+[[!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 debian-ctte@lists.debian.org
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
+License|/fdl]]."]]"""]]
+
+[[GNU Shepherd|https://www.gnu.org/software/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)*
(german)](http://www.pro-linux.de/artikel/2/1464/ressourcen-verwaltung-mit-control-groups-cgroups.html),
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