/*
 *		カーネル実装のコンフィギュレーションファイル
 *
 *  $Id$
 */
INCLUDE("target_timer.cfg")