/*
 * Platform encapsulation over timer driver.
 *
 * Copyright (C) 2007 Bahadir Balban
 *
 */

#ifndef __PLATFORM_REALVIEW_TIMER_H__
#define __PLATFORM_REALVIEW_TIMER_H__

#include <l4/drivers/timer/sp804/timer.h>

#endif /* __PLATFORM_REALVIEW_TIMER_H__ */