diff --git a/tools/examples/Makefile b/tools/examples/Makefile
index 2ca6284327..5b8bf129d7 100644
--- a/tools/examples/Makefile
+++ b/tools/examples/Makefile
@@ -9,7 +9,7 @@ XEN_CONFIGS += xlexample.hvm
 XEN_CONFIGS += xlexample.pvlinux
 XEN_CONFIGS += xl.conf
 XEN_CONFIGS += cpupool
-XEN_CONFIGS += domU1.cfg domU2.cfg
+XEN_CONFIGS += domU1.cfg domU2.cfg domU_mmc.cfg
 
 XEN_CONFIGS += $(XEN_CONFIGS-y)
 
diff --git a/tools/examples/domU_mmc.cfg b/tools/examples/domU_mmc.cfg
new file mode 100644
index 0000000000..115bb03784
--- /dev/null
+++ b/tools/examples/domU_mmc.cfg
@@ -0,0 +1,13 @@
+kernel = "/boot/Image"
+memory = 192
+name = "domu"
+
+# Number of VCPUs at boot time
+vcpus = 1
+
+# Pin PCPU1 to DomU1's VCPU0
+cpus = 1
+
+disk = [ 'phy:/dev/mmcblk0p3,xvda,w' ]
+extra = "console=hvc0 root=/dev/xvda debug rw"
+