/*
 *		カーネル実装のコンフィギュレーションファイル
 *
 *  $Id$
 */
INCLUDE("target_timer.cfg");

INCLUDE("mbed_stub.cfg");