X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2FMakefile;h=439494c93eb7f2f541f7b2c86dbb2ece1593b4c3;hb=8dba711bf83570c492cda46f820eb2c5daf2330e;hp=2fc1ad84745dab4349de7d9d467d10b26229ec9c;hpb=4801e692b7344051eb94fff6faf1be53f621d422;p=palacios-OLD.git

diff --git a/linux_usr/Makefile b/linux_usr/Makefile
index 2fc1ad8..439494c 100644
--- a/linux_usr/Makefile
+++ b/linux_usr/Makefile
@@ -1,4 +1,5 @@
-all: v3_ctrl v3_stop v3_cons v3_mem v3_monitor v3_serial v3_net
+all: v3_ctrl v3_stop v3_cons v3_mem v3_monitor v3_serial v3_net v3_user_host_dev_example v3_os_debug
+
 
 
 v3_ctrl : v3_ctrl.c v3_ctrl.h
@@ -23,5 +24,12 @@ v3_monitor : v3_cons.c v3_ctrl.h
 v3_net : v3_net.c v3_ctrl.h
 	gcc -static v3_net.c -o v3_net
 
+v3_user_host_dev_example: v3_user_host_dev_example.c v3_user_host_dev.h v3_user_host_dev.c
+	gcc -static -I../linux_module v3_user_host_dev_example.c v3_user_host_dev.c -o v3_user_host_dev_example
+
+v3_os_debug: v3_os_debug.c v3_user_host_dev.h v3_user_host_dev.c
+	gcc -static -I../linux_module v3_os_debug.c v3_user_host_dev.c -o v3_os_debug
+
+
 clean:
-	rm -f v3_ctrl v3_cons v3_mem v3_monitor v3_serial v3_net
+	rm -f v3_ctrl v3_cons v3_mem v3_monitor v3_serial v3_net v3_user_host_dev_example v3_os_debug