42 obj-$(CONFIG_XED) += vmm_xed.o
43 obj-$(CONFIG_V3_DECODER) += vmm_v3dec.o
45 obj-$(CONFIG_SVM) += svm.o \
54 obj-$(CONFIG_VMX) += vmx.o \
66 obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.o
67 obj-$(CONFIG_TELEMETRY) += vmm_telemetry.o
68 obj-$(CONFIG_SOCKET) += vmm_socket.o
69 obj-$(CONFIG_PACKET) += vmm_packet.o
70 obj-$(CONFIG_VNET) += vmm_vnet_core.o
71 obj-$(CONFIG_FILE) += vmm_file.o
72 obj-$(CONFIG_CONSOLE) += vmm_console.o vmm_stream.o
73 obj-$(CONFIG_GRAPHICS_CONSOLE) += vmm_graphics_console.o
74 obj-$(CONFIG_KEYED_STREAMS) += vmm_keyed_stream.o
77 obj-$(CONFIG_SYMBIOTIC) += vmm_symbiotic.o vmm_symspy.o
78 obj-$(CONFIG_SYMCALL) += vmm_symcall.o
79 obj-$(CONFIG_SYMMOD) += vmm_symmod.o