X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FMakefile;h=ab31a136d2b1dca9c078787fc1cb839d8e20df02;hb=a57b321b6e608bf4ff2ae7da11b5cba9d35de35f;hp=8b9f3f6593e7d02d0d232303204864264c3352b4;hpb=55a97f129cf51e899308ba2d6070c77e4901559e;p=palacios.releases.git

diff --git a/palacios/src/extensions/Makefile b/palacios/src/extensions/Makefile
index 8b9f3f6..ab31a13 100644
--- a/palacios/src/extensions/Makefile
+++ b/palacios/src/extensions/Makefile
@@ -1,4 +1,5 @@
-obj-$(CONFIG_EXT_MTRRS) += ext_mtrr.o
-obj-$(CONFIG_EXT_VTSC) += ext_vtsc.o
-obj-$(CONFIG_EXT_VTIME) += ext_vtime.o
-obj-$(CONFIG_EXT_INSPECTOR) += ext_inspector.o
+obj-y += null.o
+obj-$(V3_CONFIG_EXT_MTRRS) += ext_mtrr.o
+obj-$(V3_CONFIG_EXT_VTSC) += ext_vtsc.o
+obj-$(V3_CONFIG_EXT_VTIME) += ext_vtime.o
+obj-$(V3_CONFIG_EXT_INSPECTOR) += ext_inspector.o