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