#include <drv/ser_lm3s.h>
#include "kdebug_lm3s.h"
-#if CONFIG_KDEBUG_PORT == KDEBUG_PORT_DBGU
-
#if CONFIG_KDEBUG_PORT == 0
#define UART_BASE UART0_BASE
#define UART_GPIO_BASE GPIO_PORTA_BASE
typedef uint32_t kdbg_irqsave_t;
-#else
-#error CONFIG_KDEBUG_PORT should be KDEBUG_PORT_DBGU
-#endif
-
INLINE void uart_hw_config(void)
{
unsigned long div, baud = CONFIG_KDEBUG_BAUDRATE;