X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=dd1b637078d3f52c7dce10f2f8cd5712901eebb4;hb=b6d68a6d671dcd403749fcf317482773895b2a0d;hp=14001bbdcb2b57bda657e026541d7544300e8951;hpb=b93aeabee44c82139a9afd065dfcaca8ac6688ad;p=palacios.releases.git diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile index 14001bb..dd1b637 100644 --- a/palacios/src/palacios/Makefile +++ b/palacios/src/palacios/Makefile @@ -28,12 +28,20 @@ obj-y := \ vmm_string.o \ vmm_time.o \ vmm_util.o \ - vmm_xed.o \ vmm_binaries.o \ vmm_cpuid.o \ vmm_xml.o \ - vmm_muxer.o \ vmm_mem_hook.o \ + vmm_mptable.o \ + vmm_extensions.o \ + vmm_mtrr.o \ + vmm_multitree.o \ + + + + +obj-$(CONFIG_XED) += vmm_xed.o +obj-$(CONFIG_V3_DECODER) += vmm_v3dec.o obj-$(CONFIG_SVM) += svm.o \ svm_io.o \ @@ -58,9 +66,9 @@ obj-$(CONFIG_VMX) += vmx.o \ obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.o obj-$(CONFIG_TELEMETRY) += vmm_telemetry.o -obj-$(CONFIG_SOCKET) += vmm_socket.o -obj-$(CONFIG_CONSOLE) += vmm_console.o -obj-$(CONFIG_VNET) += vmm_vnet.o + +obj-$(CONFIG_VNET) += vmm_vnet_core.o + obj-$(CONFIG_SYMBIOTIC) += vmm_symbiotic.o vmm_symspy.o obj-$(CONFIG_SYMCALL) += vmm_symcall.o