X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=build%2FMakefile;h=ac356b75c319fb4914b4a49e228d178484f51266;hb=a2b7cc4f2d739213d1edefb85ff941c41c86907b;hp=1cfd87deea4959ca023264c274b2d477c431d5b4;hpb=04212dbde1afc2b21049dbf5e9d388e047f344f7;p=palacios.releases.git

diff --git a/build/Makefile b/build/Makefile
index 1cfd87d..ac356b7 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -195,11 +195,13 @@ palacios:
 palacios-full:
 	(cd $(PALACIOS_BUILD_DIR) && make $(DEBUG_SECTIONS) world)
 
+palacios-full64:
+	(cd $(PALACIOS_BUILD_DIR) && make ARCH=64 $(DEBUG_SECTIONS) world)	
 
 palacios-lean:
 	(cd $(PALACIOS_BUILD_DIR) && make LEAN_AND_MEAN=1 world)
 
-kitten: palacios-full
+kitten: palacios-full64
 	cp $(PALACIOS_BUILD_DIR)/libv3vee.a $(KITTEN_TOP_DIR)/palacios/
 	cp $(PALACIOS_BUILD_DIR)/../lib/xed/libxed32e.a $(KITTEN_TOP_DIR)/palacios/
 	cp $(PALACIOS_BUILD_DIR)/vm_kernel $(KITTEN_TOP_DIR)/palacios/