/*
 * Ties generic uart call to platform specific
 * uart driver implementation
 *
 * Copyright (C) 2007 Bahadir Balban
 */

#ifndef __PLATFORM_REALVIEW_UART_H__
#define __PLATFORM_REALVIEW_UART_H__

/* Platform specific implementations are defined here */
#include <l4/drivers/uart/pl011/uart.h>

#endif /* __PLATFORM_REALVIEW_UART_H__ */