/*
 *		カーネル実装のコンフィギュレーションファイル
 *
 *  $Id: target_kernel.cfg 648 2016-02-20 00:50:56Z ertl-honda $
 */
INCLUDE("target_timer.cfg")