X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=f5621bd6c18d12b31a845ac364ff2608291ab0c8;hb=fa05269fd639f61ea0c154e6c4bf1daabeb90459;hp=fb2623e25e238893490b66b286de1dd048b0fa61;hpb=61597ea2c5ccace036d8a65e429e32b8f8a7ed4a;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index fb2623e..f5621bd 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 \
@@ -56,4 +57,6 @@ obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.o
 obj-$(CONFIG_TELEMETRY) += vmm_telemetry.o 
 obj-$(CONFIG_SOCKET) +=  vmm_socket.o
 
-obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o
\ No newline at end of file
+obj-$(CONFIG_SYMBIOTIC) += vmm_sym_iface.o
+
+obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o