setting up framework for 64 bit shadow paging

[palacios.git] / build / Makefile

diff --git a/build/Makefile b/build/Makefile
index 39e5392..9083d93 100644 (file)
--- a/build/Makefile
+++ b/build/Makefile
@@ -203,17 +203,24 @@ 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
+       (cd $(KITTEN_TOP_DIR) && make clean)
        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 clean && make)
+       (cd $(KITTEN_TOP_DIR) && make)
 
 
-geekos: 
+geekos: palacios32
+       cp $(PALACIOS_BUILD_DIR)/libv3vee.a $(GEEKOS_BUILD_DIR)/palacios/
+       cp $(PALACIOS_BUILD_DIR)/../lib/xed/libxed.a $(GEEKOS_BUILD_DIR)/palacios/
+       cp $(PALACIOS_BUILD_DIR)/vm_kernel $(GEEKOS_BUILD_DIR)/palacios/
        (cd $(GEEKOS_BUILD_DIR) && make)