X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=5b4a3594df37cf55f64d9913c31928141670e998;hb=15f1869089d6d3c4dc745ac2673e3cc0dd315962;hp=57472619a1d9b53ea02d39e69115bb8b90d5f469;hpb=ba178554a5f6714e5ceb7b77df462ac72de90b0c;p=palacios.git diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile index 5747261..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 \ @@ -39,7 +38,6 @@ obj-y := \ vmm_multitree.o \ -obj-$(CONFIG_INSPECTOR) += vmm_inspector.o obj-$(CONFIG_XED) += vmm_xed.o @@ -59,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