summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--hurd/running.mdwn2
-rw-r--r--index.mdwn8
-rw-r--r--microkernel/mach/gnumach/ports/xen.mdwn2
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](http://www.debian.org/ports/hurd/hurd-install).
-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 <http://youpibouh.thefreecat.org/hurd-xen/> 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: