vmm_direct_paging.o \
vmm_emulator.o \
vmm_excp.o \
+ vmm_halt.o \
vmm_hashtable.o \
vmm_host_events.o \
vmm_hypercall.o \
vmm_time.o \
vmm_util.o \
vmm_xed.o \
- vmm_instrument.o \
- vmm_profiler.o \
- vmm_socket.o \
- vmm_binaries.o
-
+ vmm_binaries.o \
+ vmm_cpuid.o \
+ vmm_xml.o
obj-$(CONFIG_SVM) += svm.o \
- svm_halt.o \
svm_io.o \
svm_lowlevel.o \
svm_msr.o \
vmx_handler.o \
vmx_io.o \
vmx_lowlevel.o \
- vmx_msr.o
+ vmx_msr.o \
+ vmcs.o \
+ vmx_ctrl_regs.o \
+ vmx_assist.o
+
+
+obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.o
+obj-$(CONFIG_TELEMETRY) += vmm_telemetry.o
+obj-$(CONFIG_SOCKET) += vmm_socket.o
+obj-$(CONFIG_VNET) += vmm_vnet.o
-#obj-$(CONFIG_INSTRUMENT) += vmm_instrument.o \
-# vmm_profiler
+obj-$(CONFIG_SYMBIOTIC) += vmm_sym_iface.o
-#obj-$(CONFIG_SOCKET) += vmm_socket.o
+obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o