summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-27 14:44:43 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-27 14:44:43 +0200
commit0606c86cb3869a8dd2c7f9b72af19e55b2312c2c (patch)
treea5330f25018a02b9114780db4dd55ca2544f43dc /microkernel
parentccad4d6467bbbcc72022fc04fc0e8cf74849aba1 (diff)
Add pv-grub config sample
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/ports/xen.mdwn24
1 files changed, 16 insertions, 8 deletions
diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn
index af431c92..1b967d38 100644
--- a/microkernel/mach/gnumach/ports/xen.mdwn
+++ b/microkernel/mach/gnumach/ports/xen.mdwn
@@ -79,20 +79,28 @@ Then use
The current `hurd-modules` was built from the debian packages `hurd 20070606-2` and `libc0.3 2.6.1-1`.
/!\ This means that when using this image, your GNU/Hurd system also needs to be a glibc version 2.6 or later-based one!
+# `pv-grub`
-# Miscellaneous
+From Xen 4.0 on you can run the GNU Hurd directly using `pv-grub`,
+without the need to [prepare a special bootstrap
+image](http://youpibouh.thefreecat.org/hurd-xen/build_hurd-modules) (like an
+initrd).
-[[Internals]].
+Download http://youpibouh.thefreecat.org/hurd-xen/pv-grub.gz into /boot, and use the following for instance:
-[[!GNU_Savannah_task 5468]], [[!GNU_Savannah_task 6584]].
+ kernel = "/boot/pv-grub.gz"
+ memory = 256
+ disk = ['phy:sda4,hda,w']
+ extra = "(hd0,1)/boot/grub/menu.lst"
+ vif = [ '' ]
+extra is now the path to the grub config file.
-# `pv-grub`
+# Miscellaneous
-From Xen 4.0 on you'll be able to run the GNU Hurd directly using `pv-grub`,
-without the need to [prepare a special bootstrap
-image](http://youpibouh.thefreecat.org/hurd-xen/build_hurd-modules) (like an
-initrd).
+[[Internals]].
+
+[[!GNU_Savannah_task 5468]], [[!GNU_Savannah_task 6584]].
# Host-side Writeback Caching