From: Jack Lange <jacklange@cs.pitt.edu>
Date: Wed, 20 Apr 2011 23:50:37 +0000 (-0500)
Subject: added null build file
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=87628fa5006de431238dbd6d3d56ccc703a54847;p=palacios.releases.git

added null build file
---

diff --git a/palacios/src/extensions/Makefile b/palacios/src/extensions/Makefile
index 8b9f3f6..ac19202 100644
--- 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
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.
+ */
+