#ifndef __PBA9_UART_H__
#define __PBA9_UART_H__

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

#endif /* __PBA9_UART_H__ */