From cc0395d8d05288cd24b07c8f056f0e2a390285a9 Mon Sep 17 00:00:00 2001
From: Antti Kantee <pooka@iki.fi>
Date: Fri, 19 Jun 2015 15:30:47 +0000
Subject: [PATCH] Always mount /kern on Xen

---
 app-tools/rumprun | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/app-tools/rumprun b/app-tools/rumprun
index 387d5ed93..6027accc7 100755
--- a/app-tools/rumprun
+++ b/app-tools/rumprun
@@ -392,6 +392,19 @@ json_store_iso_blkspec ()
 	json_finalize_block
 }
 
+json_store_kernfs ()
+{
+
+	json_open_block blk
+
+	json_append_ln	'"source":	"dev"' # XXX: not really dev
+	json_append_ln	'"path":	"virtual"'
+	json_append_ln	'"fstype":	"kernfs"'
+	json_append_ln	'"mountpoint":	"/kern"'
+
+	json_finalize_block
+}
+
 parse_blkspec ()
 {
 	spec=$1
@@ -505,6 +518,9 @@ run_xen ()
 	[ "$1" = "--" ] && shift
 	[ $# -lt 1 ] && usage
 
+	# kernfs is always present on Xen
+	json_store_kernfs
+
 	json_append_ln "\"cmdline\": \""$@"\""
 	json_finalize_block