build fix for kitten

diff --git a/palacios/src/interfaces/Makefile b/palacios/src/interfaces/Makefile
index 15ba807..9d2c6f3 100644 (file)
--- a/palacios/src/interfaces/Makefile
+++ b/palacios/src/interfaces/Makefile
@@ -7,4 +7,5 @@ obj-$(V3_CONFIG_GRAPHICS_CONSOLE) += vmm_graphics_console.o
 obj-$(V3_CONFIG_KEYED_STREAMS) += vmm_keyed_stream.o
 obj-$(V3_CONFIG_HOST_DEVICE) += vmm_host_dev.o
 
+obj-y += null.o
 

diff --git a/palacios/src/interfaces/null.c b/palacios/src/interfaces/null.c
new file mode 100644 (file)
index 0000000..1828c44
--- /dev/null
+++ b/palacios/src/interfaces/null.c
@@ -0,0 +1,6 @@
+/** \file
+ * Do nothing module.
+ *
+ * This file only exists to appease the kbuild gods.
+ */
+