X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Fuser%2FMakefile;fp=kitten%2Fuser%2FMakefile;h=5426c248d28b4f245cc9a0e8069b60e4a246cd28;hb=66a1a4c7a9edcd7d8bc207aca093d694a6e6b5b2;hp=0000000000000000000000000000000000000000;hpb=f7cf9c19ecb0a589dd45ae0d2c91814bd3c2acc2;p=palacios.git

diff --git a/kitten/user/Makefile b/kitten/user/Makefile
new file mode 100644
index 0000000..5426c24
--- /dev/null
+++ b/kitten/user/Makefile
@@ -0,0 +1,9 @@
+CFLAGS=-O2
+
+all:
+	make -C liblwk
+	make -C hello_world
+
+clean:
+	make -C liblwk clean
+	make -C hello_world clean