/*
 *  @(#) $Id$
 */

/*
 *		タイマドライバのコンフィギュレーションファイル
 */
INCLUDE("riscv_gcc/prc_timer.cfg");