/*
 * Platform specific ties between drivers and generic APIs used by the kernel.
 * E.g. system timer and console.
 *
 * Copyright (C) Bahadir Balban 2007
 */

#ifndef __PB926_PLATFORM_H__
#define __PB926_PLATFORM_H__

void platform_timer_start(void);

#endif /* __PB926_PLATFORM_H__ */