00001 00039 #include "cfg/cfg_debug.h" 00040 00046 #define KDBG_UART_ACLK 0 00047 #define KDBG_UART_SMCLK 1