/*
 * Placeholder for code to come(needed to complete build)
 *
 * Copyright (C) 2013  Alexandru Gagniuc <mr.nuke.me@gmail.com>
 * Subject to the GNU GPL v2, or (at your option) any later version.
 */

#include <delay.h>
#include <timer.h>

void init_timer(void)
{
	/* Stub */
}

void udelay(unsigned usec)
{
	/* Stub */
}