X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FMakefile;h=24d68c3fdb9ceb4c5ca99743d4173f4afc19af18;hb=7ebb801201cc0c40f769db676e69b6e7394b08b5;hp=ac19202a239858e664fc0731bffa1d670cb54c59;hpb=87628fa5006de431238dbd6d3d56ccc703a54847;p=palacios.releases.git

diff --git a/palacios/src/extensions/Makefile b/palacios/src/extensions/Makefile
index ac19202..24d68c3 100644
--- a/palacios/src/extensions/Makefile
+++ b/palacios/src/extensions/Makefile
@@ -1,5 +1,7 @@
 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
-obj-$(CONFIG_EXT_INSPECTOR) += ext_inspector.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
+obj-$(V3_CONFIG_EXT_MACH_CHECK) += ext_mcheck.o
+obj-$(V3_CONFIG_EXT_VMWARE) += ext_vmware.o