eprintf mit irq

Revision:
0:4843fcdba3cc
Child:
2:f63032cc0c0a
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/eprintf.h	Thu Jun 23 10:21:40 2011 +0000
@@ -0,0 +1,10 @@
+#ifndef  __os_printf_h__
+ #define __os_printf_h__
+ 
+ // os.SendEvent (EV_PRINTF, &task_printf_Verarbeitung); 
+
+void  printf_verarbeitung      (void); 
+int   eprintf                  (char *, ...); 
+void  PC_UART_USB_interrupt    (void); 
+
+#endif // von ifndef __os_printf_h__