From: Jack Lange <jacklange@cs.pitt.edu>
Date: Thu, 19 May 2011 15:25:58 +0000 (-0500)
Subject: build fix for kitten
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=8024af2deecd89a20420835453556d95a5539cf7;p=palacios.releases.git

build fix for kitten
---

diff --git a/palacios/src/interfaces/Makefile b/palacios/src/interfaces/Makefile
index 15ba807..9d2c6f3 100644
--- 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
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.
+ */
+