summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach/ports
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-27 15:39:25 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-27 15:39:25 +0200
commitedd7d582fce7a52565efd3e404bb0419f7e34474 (patch)
tree43eae056df42ca93a3e729f2ea92e5732acb5b88 /microkernel/mach/gnumach/ports
parent25e041c260fef647e9403883e96925010aa1ba5d (diff)
document how to use parted storeio for /dev entries
Diffstat (limited to 'microkernel/mach/gnumach/ports')
-rw-r--r--microkernel/mach/gnumach/ports/xen.mdwn8
1 files changed, 7 insertions, 1 deletions
diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn
index 5b5399de..5fe73c06 100644
--- a/microkernel/mach/gnumach/ports/xen.mdwn
+++ b/microkernel/mach/gnumach/ports/xen.mdwn
@@ -96,12 +96,18 @@ Download http://youpibouh.thefreecat.org/hurd-xen/pv-grub.gz into /boot, and use
extra is now the path to the grub config file.
-In the menu.lst file, you will need the following notation for the gnumach root= parameter:
+# Partitions
+
+You will need the following notation for the gnumach root= parameter:
root=part:2:device:hd0
to access the second partition of hd0, for instance.
+You will also need to use the parted storeio module for the /dev entries, for instance:
+
+settrans -fgap /dev/hd0s1 /hurd/storeio -T typed part:1:device:hd0
+
# Miscellaneous
[[Internals]].