/*
 *  タイマドライバのコンフィギュレーションファイル(LPCXPRESSO-LPC812用)
 */

#include "target_timer.h"

INCLUDE("arch/armv6_m_gcc/prc_timer.cfg");