summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel/mach')
-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]].