tdfncd.h

uT Kernel os source code for AT91

/*
 *----------------------------------------------------------------------
 *    micro T-Kernel
 *
 *    Copyright (C) 2006-2007 by Ken Sakamura. All rights reserved.
 *    micro T-Kernel is distributed under the micro T-License.
 *----------------------------------------------------------------------
 *
 *    Version:   1.00.00
 *    Released by T-Engine Forum(http://www.t-engine.org) at 2007/03/26.
 *
 *----------------------------------------------------------------------
 */
 
/*
 *	micro T-Kernel function code (Debugger Support)
 */

#ifndef _TDFNCD_H_
#define _TDFNCD_H_

#if INT_BITWIDTH == 16
#include "tdfncd16.h"
#else
#include "tdfncd32.h"
#endif

#endif /* _TDFNCD_H_ */