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

#include "target_timer.h"

INCLUDE("arm64_gcc/bcm283x/chip_timer.cfg");