#include "target_timer.h"

INCLUDE("arm_m_iccarm/prc_timer.cfg");