/*
 *  Do not modify this file; it is automatically 
 *  generated and any modifications will be overwritten.
 *
 * @(#) xdc-z52
 */

#include <xdc/std.h>

__FAR__ char ti_platforms_fa6678__dummy__;

#define __xdc_PKGVERS null
#define __xdc_PKGNAME ti.platforms.fa6678
#define __xdc_PKGPREFIX ti_platforms_fa6678_

#ifdef __xdc_bld_pkg_c__
#define __stringify(a) #a
#define __local_include(a) __stringify(a)
#include __local_include(__xdc_bld_pkg_c__)
#endif

