/* * タイマドライバのコンフィギュレーションファイル * * $Id$ */ #include "target_timer.h" /* * チップ依存部 */ INCLUDE("chip_timer.cfg");