[Xen-changelog] [xen-unstable] mount /proc/xen in init.d/xen

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1252506750 -3600
# Node ID 67201ec9ed798037a3c06195a0fe241652694362
# Parent  366ae2894ecd853535aa6b54f03497aedea3580f
mount /proc/xen in init.d/xen

pvops dom0 kernels have a separate xenfs which has to be mounted on
/proc/xen.  Systems with older configurations don't have xenfs listed
in fstab, and it can sometimes make sense to keep it that way (for
example, if the dom0 wants to boot a native-only kernel too).

The attached patch to the script which ends up in /etc/init.t/xend
mounts /proc/xen if it appears to be necessary.

Signed-off-by: Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
---
 tools/hotplug/Linux/init.d/xend |    9 +++++++++
 1 files changed, 9 insertions(+)

diff -r 366ae2894ecd -r 67201ec9ed79 tools/hotplug/Linux/init.d/xend
--- a/tools/hotplug/Linux/init.d/xend   Tue Sep 08 15:11:52 2009 +0100
+++ b/tools/hotplug/Linux/init.d/xend   Wed Sep 09 15:32:30 2009 +0100
@@ -21,6 +21,15 @@
 
 shopt -s extglob
 test -f /etc/sysconfig/xend && . /etc/sysconfig/xend
+
+if   test "x$1" = xstart && \
+     test -d /proc/xen && \
+   ! test -d /proc/xen/capabilities && \
+     grep '    xenfs$' /proc/filesystems >/dev/null && \
+   ! grep '^xenfs ' /proc/mounts >/dev/null;
+then
+       mount -t xenfs xenfs /proc/xen
+fi
 
 if ! grep -q "control_d" /proc/xen/capabilities ; then
        exit 0

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog