/*
 *		カーネル実装のコンフィギュレーションファイル
 *
 *  $Id: target_kernel.cfg 572 2016-02-01 14:40:09Z ertl-hiro $
 */
INCLUDE("target_timer.cfg")