--- /tmp/xend	2006-09-21 12:44:02.825687260 +0200
+++ /etc/init.d/xend	2006-09-21 12:47:27.238502803 +0200
@@ -19,10 +19,14 @@
 }
 
 start() {
-	ebegin "Starting Xen control daemon"
-	/usr/sbin/xend start
-	/usr/sbin/xend status || await_daemons_up
-	eend $?
+	if [ -e /proc/xen ]; then
+		ebegin "Starting Xen control daemon"
+		/usr/sbin/xend start
+		/usr/sbin/xend status || await_daemons_up
+		eend $?
+	else
+		einfo "Not starting Xen xontrol daemon, kernel has no Xen support."
+	fi
 }
 
 stop() {