/*
 *		カーネル実装のコンフィギュレーションファイル
 *
 *  $Id: target_kernel.cfg 270 2017-02-09 04:03:47Z coas-nagasima $
 */
INCLUDE("target_timer.cfg")