diff options
authorArne Babenhauserheide <>2009-06-04 15:23:24 +0200
committerArne Babenhauserheide <>2009-06-04 15:23:24 +0200
commitf2e3d602c3987cb00f044ce9af56beb6a9c32bb0 (patch)
parent6b7cb4dbb2aa81685f93f1abb9be5251dccf1443 (diff)
ways to run a GNU/HUrd system: polishing.
3 files changed, 9 insertions, 3 deletions
diff --git a/hurd/running.mdwn b/hurd/running.mdwn
index 95dc024a..470b5f0b 100644
--- a/hurd/running.mdwn
+++ b/hurd/running.mdwn
@@ -8,6 +8,8 @@ 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]]."]]"""]]
+There are several different ways to run a GNU/Hurd system:
* [[Distrib]] - Distributions based on the Hurd
* [[microkernel/mach/gnumach/ports/Xen]] - In Xen
* [[Live_CD]]
diff --git a/index.mdwn b/index.mdwn
index 960300c8..35d15ad5 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -73,10 +73,14 @@ The most functional distribution of the Hurd is the one provided by Debian.
Find more information about it at the
[Debian GNU/Hurd website](
-There are [[various_possibilities|hurd/running]] of running a GNU/Hurd system.
+There are [[various_possibilities|hurd/running]] of running a GNU/Hurd system. Some are
+* installing a [[GNU/Hurd_distribution|hurd/running/distrib]],
+* running it [[in_Xen|microkernel/mach/gnumach/ports/xen]] and
+* starting a [[qemu_image|hurd/running/qemu]] or [[LiveCD|hurd/running/live_cd/]].
And these web pages are a living proof of the usability of the Hurd, as they
-are rendered on a Debian GNU/Hurd system.
+are rendered on a [[Debian_GNU/Hurd|hurd/running/debian]] system.
## Current Status
diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn
index a4c27c6a..c544fd57 100644
--- a/microkernel/mach/gnumach/ports/xen.mdwn
+++ b/microkernel/mach/gnumach/ports/xen.mdwn
@@ -22,7 +22,7 @@ You can either get binaries at <> or bu
## GNU/Hurd system
-/!\ You need an already installed GNU/Hurd system.
+/!\ You need an already installed [[GNU/Hurd_system|hurd/running]].
If you have a free partition, you can fdisk to type 0x83, create a filesystem using: