/*
 *		カーネル実装のコンフィギュレーションファイル
 *
 *  $Id: target_kernel.cfg 720 2016-04-01 22:16:17Z ertl-hiro $
 */
INCLUDE("target_timer.cfg")