+#elif defined(__MWERKS__) && (defined(__m56800E__) || defined(__m56800__))
+ /* Debugging go through the JTAG interface. The MSL library already
+ implements the console I/O correctly. */
+ #include <stdio.h>
+ #define KDBG_WAIT_READY()
+ #define KDBG_WRITE_CHAR(c) do { char ch=c; fwrite(&ch,1,1,stdout); } while (0)
+ #define KDBG_MASK_IRQ(old)
+ #define KDBG_RESTORE_IRQ(old)