/*
 *  タイマドライバのコンフィギュレーションファイル
 */

#include "target_timer.h"

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