added null build file

diff --git a/palacios/src/extensions/Makefile b/palacios/src/extensions/Makefile
index 8b9f3f6..ac19202 100644 (file)
--- a/palacios/src/extensions/Makefile
+++ b/palacios/src/extensions/Makefile
@@ -1,3 +1,4 @@
+obj-y += null.o
 obj-$(CONFIG_EXT_MTRRS) += ext_mtrr.o
 obj-$(CONFIG_EXT_VTSC) += ext_vtsc.o
 obj-$(CONFIG_EXT_VTIME) += ext_vtime.o

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