/*
 *  $Id$
 */

/*
 *  サンプルプログラム(1)のシステムコンフィギュレーションファイル
 */
INCLUDE("target_timer.cfg");
INCLUDE("syssvc/syslog.cfg");
INCLUDE("syssvc/banner.cfg");
INCLUDE("syssvc/serial.cfg");
INCLUDE("syssvc/logtask.cfg");
INCLUDE("pdic/k210/device.cfg");
INCLUDE("monitor/monitor.cfg");

#include "test.h"

ATT_INI({ TA_NULL, 0, rtc_init });
ATT_INI({ TA_NULL, 0, rtc_info_init });

CRE_TSK(MAIN_TASK, { TA_NULL, 0, main_task, MAIN_PRIORITY, STACK_SIZE, NULL });

DEF_INH(IRQ_VECTOR_GPIOHS0, { TA_NULL, sw_int_handler });
CFG_INT(IRQ_VECTOR_GPIOHS0, { TA_ENAINT | 0, -3 });