X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=5b4a3594df37cf55f64d9913c31928141670e998;hb=2e0992e07d6aebe06bab827f2534c074b9d7bb9e;hp=790280c49890eefb981a770ce264c5588b090eb7;hpb=55a97f129cf51e899308ba2d6070c77e4901559e;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index 790280c..5b4a359 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -31,7 +31,6 @@ obj-y := \
 	vmm_binaries.o \
 	vmm_cpuid.o \
 	vmm_xml.o \
-	vmm_muxer.o \
 	vmm_mem_hook.o \
 	vmm_mptable.o \
 	vmm_extensions.o \
@@ -58,6 +57,7 @@ obj-$(CONFIG_VMX) +=  	vmx.o \
 			vmx_io.o \
 			vmx_lowlevel.o \
 			vmx_msr.o \
+			vmx_hw_info.o \
 			vmcs.o \
 			vmx_ctrl_regs.o \
 			vmx_assist.o