/*
 *  @(#) $Id: perf0.cfg 313 2017-07-23 04:50:32Z coas-nagasima $
 */

/*
 *  カーネル性能評価プログラム(0)のシステムコンフィギュレーションファイル
 */
INCLUDE("target_timer.cfg");
INCLUDE("syssvc/syslog.cfg");
INCLUDE("syssvc/banner.cfg");
INCLUDE("syssvc/serial.cfg");

#include "perf0.h"
CRE_TSK(MAIN_TASK, { TA_ACT, 0, main_task, MAIN_PRIORITY, STACK_SIZE, NULL });