X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Flib%2Fx86_64%2FMakefile;h=84ddcc5ec9488294430d2c8505ffff4ce6bd8c90;hb=7a10bbf26095ed08095f38de6c1db4b3a131d6f0;hp=2d97a1b0c4b50a156dd98e09ae92cc1a1c93ee49;hpb=95198dcc4738a80a85422cd912170ced9acb81a5;p=palacios.git

diff --git a/palacios/lib/x86_64/Makefile b/palacios/lib/x86_64/Makefile
index 2d97a1b..84ddcc5 100644
--- a/palacios/lib/x86_64/Makefile
+++ b/palacios/lib/x86_64/Makefile
@@ -1,4 +1,8 @@
 obj-y := null.o
 
-obj-$(CONFIG_XED) := 	libxed32e.a \
-			v3-xed-compat.o
+obj-$(V3_CONFIG_XED) := 	libxed32e.a \
+				v3-xed-compat.o
+
+obj-$(V3_CONFIG_QUIX86) := libquix86.a
+
+obj-$(V3_CONFIG_QUIX86_DEBUG) := libquix86_debug.a