/*
 *		カーネル実装のコンフィギュレーションファイル
 *
 *  $Id: target_kernel.cfg 317 2017-08-03 13:14:26Z coas-nagasima $
 */
INCLUDE("target_timer.cfg")