BeRTOS
|
00001 00040 #error Revise me! 00041 00042 /* Debugging go through the JTAG interface. The MSL library already 00043 implements the console I/O correctly. */ 00044 #include <stdio.h> 00045 #define KDBG_WAIT_READY() do { } while (0) 00046 #define KDBG_WRITE_CHAR(c) __put_char(c, stdout) 00047 #define KDBG_MASK_IRQ(old) do { (void)(old); } while (0) 00048 #define KDBG_RESTORE_IRQ(old) do { (void)(old); } while (0) 00049 typedef uint8_t kdbg_irqsave_t; /* unused */ 00050 #if CONFIG_KDEBUG_PORT == 666 00051 #error BITBANG debug console missing for this platform 00052 00053 #define kdbg_hw_init() do {} while (0) ///< Not needed