X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Flib%2Fx86_64%2FMakefile;h=84ddcc5ec9488294430d2c8505ffff4ce6bd8c90;hb=77472ac6e4de7f87a8d8b8c9a554e1fcb05206a5;hp=8853e979254715cd0e682acd00c73a7b8b6b29aa;hpb=df02461396f080d7f85318832f3974ffefb924ee;p=palacios.git

diff --git a/palacios/lib/x86_64/Makefile b/palacios/lib/x86_64/Makefile
index 8853e97..84ddcc5 100644
--- a/palacios/lib/x86_64/Makefile
+++ b/palacios/lib/x86_64/Makefile
@@ -2,3 +2,7 @@ obj-y := null.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