#ifndef __EB_UART_H__
#define __EB_UART_H__

#include <l4/platform/realview/uart.h>

#endif /* __EB_UART_H__ */