#ifndef __DEBUG_UART_H__1V2039076V__
#define __DEBUG_UART_H__1V2039076V__

void dbg_setup_uart(void);

#endif /* __DEBUG_UART_H__1V2039076V__ */