X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=4c5573884043425e53b51186809b72b351b38ee8;hb=5614cff13837121053e831419f569b4e6e32bcd9;hp=8fba9395216b324513a9771e1292c46a713c921a;hpb=9d406e84682878859284200ae00251d27c53c845;p=palacios.git diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile index 8fba939..4c55738 100644 --- a/palacios/src/palacios/Makefile +++ b/palacios/src/palacios/Makefile @@ -67,9 +67,6 @@ obj-$(V3_CONFIG_VMX) += vmx.o \ obj-$(V3_CONFIG_TELEMETRY) += vmm_telemetry.o -obj-$(V3_CONFIG_VNET) += vmm_vnet_core.o - - obj-$(V3_CONFIG_SYMBIOTIC) += vmm_symbiotic.o vmm_symspy.o obj-$(V3_CONFIG_SYMCALL) += vmm_symcall.o obj-$(V3_CONFIG_SYMMOD) += vmm_symmod.o