X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=7dacc0fbfa28e5837d6de8355325bb11ebbc7f22;hp=c0b20f81ac197c376337424ec6dbd31284c697ac;hb=c43fab2e53aa1a129a1020410c67de0240369ec0;hpb=82b8b87c344fcd1eab22e3f3be5ad54cbb3f8f68 diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile index c0b20f8..7dacc0f 100644 --- a/palacios/src/palacios/Makefile +++ b/palacios/src/palacios/Makefile @@ -10,6 +10,7 @@ obj-y := \ vmm_direct_paging.o \ vmm_emulator.o \ vmm_excp.o \ + vmm_halt.o \ vmm_hashtable.o \ vmm_host_events.o \ vmm_hypercall.o \ @@ -28,11 +29,11 @@ obj-y := \ vmm_time.o \ vmm_util.o \ vmm_xed.o \ - vmm_binaries.o + vmm_binaries.o \ + vmm_cpuid.o \ obj-$(CONFIG_SVM) += svm.o \ - svm_halt.o \ svm_io.o \ svm_lowlevel.o \ svm_msr.o \ @@ -46,10 +47,17 @@ obj-$(CONFIG_VMX) += vmx.o \ vmx_io.o \ vmx_lowlevel.o \ vmx_msr.o \ - vmcs.o + vmcs.o \ + vmx_ctrl_regs.o \ + vmx_assist.o obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.o -obj-$(CONFIG_PROFILE_VMM) += vmm_profiler.o +obj-$(CONFIG_TELEMETRY) += vmm_telemetry.o obj-$(CONFIG_SOCKET) += vmm_socket.o +obj-$(CONFIG_VNET) += vmm_vnet.o + +obj-$(CONFIG_SYMBIOTIC) += vmm_sym_iface.o + +obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o