/*
 *    タイマドライバのコンフィギュレーションファイル
 */
#include "target_timer.h"
INCLUDE("arm_m_gcc/common/core_timer.cfg");