X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2FMakefile;h=439494c93eb7f2f541f7b2c86dbb2ece1593b4c3;hb=e346c0bf2e9d047cbb696cd588a5f695b5aa04ca;hp=c2a23aa5f9a0ca12200da36ccb4e8dbb3ad63667;hpb=5ac6ebe490fe6ebb948dd68736c693a3bb2f82dc;p=palacios-OLD.git

diff --git a/linux_usr/Makefile b/linux_usr/Makefile
index c2a23aa..439494c 100644
--- a/linux_usr/Makefile
+++ b/linux_usr/Makefile
@@ -1,4 +1,4 @@
-all: v3_ctrl v3_stop v3_cons v3_mem v3_monitor v3_serial v3_net v3_user_host_dev_example
+all: v3_ctrl v3_stop v3_cons v3_mem v3_monitor v3_serial v3_net v3_user_host_dev_example v3_os_debug
 
 
 
@@ -27,5 +27,9 @@ v3_net : v3_net.c v3_ctrl.h
 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