X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=f5621bd6c18d12b31a845ac364ff2608291ab0c8;hb=3e79933031f662fff72fd4d3a58891b3216d388b;hp=0999c36805e173f8bed48cf6ad5c2df6b9b6ad73;hpb=e63be432894673d56526c4f1c2cb4fa64daf01d9;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index 0999c36..f5621bd 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -30,7 +30,7 @@ obj-y := \
 	vmm_util.o \
 	vmm_xed.o \
 	vmm_binaries.o \
-	vmm_sym_iface.o
+	vmm_cpuid.o \
 
 
 obj-$(CONFIG_SVM) +=    svm.o \
@@ -57,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
+obj-$(CONFIG_SYMBIOTIC) += vmm_sym_iface.o
+
+obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o