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

["Xen patchbot-3.4-testing" <patchbot-3.4-testing@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1254409210 -3600
# Node ID c3767592b4a84987f9b0df87b554262ea9d00845
# Parent  cf5fff1b95c3cceece9f58c08a7e50271385c895
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>
xen-unstable changeset:   20185:67201ec9ed79
xen-unstable date:        Wed Sep 09 15:32:30 2009 +0100
---
 tools/hotplug/Linux/init.d/xend |    9 +++++++++
 1 files changed, 9 insertions(+)

diff -r cf5fff1b95c3 -r c3767592b4a8 tools/hotplug/Linux/init.d/xend
--- a/tools/hotplug/Linux/init.d/xend   Thu Oct 01 15:59:43 2009 +0100
+++ b/tools/hotplug/Linux/init.d/xend   Thu Oct 01 16:00:10 2009 +0100
@@ -18,6 +18,15 @@
 # Short-Description: Start/stop xend
 # Description:       Starts and stops the Xen control daemon.
 ### END INIT INFO
+
+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