/*
 *		カーネル性能評価プログラム(0)のシステムコンフィギュレーションファイル
 *
 *  $Id: perf0.cfg 326 2015-06-21 06:06:45Z ertl-hiro $
 */
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 });