reorganization of the symbiotic infrastructure

[palacios.git] / palacios / src / palacios / Makefile

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index b03a7eb..76d62e9 100644 (file)
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -53,7 +53,6 @@ obj-$(CONFIG_VMX) +=          vmx.o \
 
 
 obj-$(CONFIG_SHADOW_PAGING_VTLB) += vmm_shdw_pg_tlb.o
-obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_shdw_pg_swapbypass.o
 
 
 obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.o
@@ -61,6 +60,8 @@ 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) += vmm_symbiotic.o vmm_symspy.o
+obj-$(CONFIG_SYMCALL) += vmm_symcall.o
+obj-$(CONFIG_SYMMOD) += vmm_symmod.o
 
-obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o 
+obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o vmm_shdw_pg_swapbypass.o