/*
 * include/asm-microblaze/microblaze_system_timer.h -- 
 *             Timer component required to bring up a Microblaze uClinux
 *
 *  Copyright (C) 2003  John Williams <jwilliams@itee.uq.edu.au>
 *  Copyright (C) 2001  NEC Corporation
 *  Copyright (C) 2001  Miles Bader <miles@gnu.org>
 *
 * This file is subject to the terms and conditions of the GNU General
 * Public License.  See the file COPYING in the main directory of this
 * archive for more details.
 *
 * Written by Miles Bader <miles@gnu.org>
 * Microblaze port by John Williams
 */

/* 
 * NOTE: doesn't do anything yet.  
 */

#ifndef __MICROBLAZE_MICROBLAZE_SYSTEM_TIMER_H__
#define __MICROBLAZE_MICROBLAZE_SYSTEM_TIMER_H__

#include <asm/types.h>
#include <asm/machdep.h>	/* Pick up chip-specific defs.  */

#endif /* __MICROBLAZE_MICROBLAZE_SYSTEM_TIMER_H__ */