X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=build%2FMakefile;h=e4ee438d9ea4885add3e8d7bde2de3baac3d8240;hp=4c190c81270f0ce4068589224907ecfde55eb4a7;hb=5b6278751429f59297ce74e614d50632daea3748;hpb=03a41b18bdb6ce4bf666f18acdaf302e2360efdc

diff --git a/build/Makefile b/build/Makefile
index 4c190c8..e4ee438 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -203,7 +203,10 @@ palacios-full64:
 palacios-lean:
 	(cd $(PALACIOS_BUILD_DIR) && make LEAN_AND_MEAN=1 world)
 
-kitten:
+kitten: palacios64
+	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/
 	(cd $(KITTEN_TOP_DIR) && make)
 
 kitten-full: palacios-full64