add customised xen_pv_qemu in rumpbake.conf

diff --git a/build.sh b/build.sh
index 9a10ad32eeb0bdc2cf64ed01263de88f800d68df..70f74028414249ca9ea1ba9a60b41f23adaddf1f 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -9,4 +9,4 @@ RUMPBAKE=/local/scratch/Rump-kernels/rumprun/app-tools/rumpbake
 
 ${RUMPCC} -I${RUMPINCDIR} -L${RUMPLIBDIR} qemu-rump-config.c -o qemu-rump-config
 
-${RUMPBAKE} xen_pv qemu-rump-config-img qemu-rump-config
+${RUMPBAKE} -c ./rumpbake.conf xen_pv_qemu qemu-rump-config-img qemu-rump-config

diff --git a/rumpbake.conf b/rumpbake.conf
new file mode 100644 (file)
index 0000000..34deaeb
--- /dev/null
+++ b/rumpbake.conf
@@ -0,0 +1,16 @@
+#
+# rumpbake configuration file
+#
+# To add a new configuration `name', call addconfig()
+#
+
+RUMPBAKE_CONFVERS=20150828
+
+# Paravirtualized Xen for QEMU stubdom
+addconfig xen_pv_qemu \
+    rumpdev_vnd rumpdev_rnd rumpfs_ffs rumpfs_cd9660 rumpfs_ext2fs \
+    rumpfs_tmpfs rumpfs_kernfs rumpdev_disk rumpdev \
+    rumpnet_netinet6 rumpnet_netinet rumpnet_net rumpnet \
+    rumpnet_config rumpdev_bpf rumpnet_local rumpnet_bridge rumpnet_tap \
+    rumpkern_sysproxy \
+    rumpnet_xenif rumpxen_xendev