/*
 *		カーネル性能評価プログラム(2)のシステムコンフィギュレーションファイル
 *
 *  $Id: perf2.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 "perf2.h"

CRE_TSK(MAIN_TASK, { TA_ACT, 0, main_task, MAIN_PRIORITY, STACK_SIZE, NULL });
CRE_PDQ(PDQ1, { TA_NULL, 301, 16, NULL });