/*
 *  @(#) $Id: perf0.cfg 1575 2009-05-31 14:15:46Z ertl-hiro $
 */

/*
 *  カーネル性能評価プログラム(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 });