X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=build%2FMakefile;fp=build%2FMakefile;h=9083d93ea2e9aa267ea5c1632e994fdd301da0e9;hb=9b31f917eae9b397cb21ff78d81084301b289e43;hp=e4ee438d9ea4885add3e8d7bde2de3baac3d8240;hpb=a0c519f730b179ea90b3f3ac861133906b4f8645;p=palacios.git

diff --git a/build/Makefile b/build/Makefile
index e4ee438..9083d93 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -217,7 +217,10 @@ kitten-full: palacios-full64
 	(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)