1    /*
     2     *  Copyright (c) 2010 by Texas Instruments and others.
     3     *  All rights reserved. This program and the accompanying materials
     4     *  are made available under the terms of the Eclipse Public License v1.0
     5     *  which accompanies this distribution, and is available at
     6     *  http://www.eclipse.org/legal/epl-v10.html
     7     *
     8     *  Contributors:
     9     *      Texas Instruments - initial implementation
    10     *
    11     * */
    12    
    13    requires ti.catalog.c5400;
    14    requires xdc.platform [1,0,1];
    15    
    16    /*!
    17     *  ======== ti.platforms.dsk5416 ========
    18     *  Platform package for the dsk5416 platform.
    19     *
    20     *  This package implements the interfaces (xdc.platform.IPlatform)
    21     *  necessary to build and run executables on the dsk5416 platform.
    22     */
    23    package ti.platforms.dsk5416 [1,0,0] {
    24        module Platform;
    25    }
    26    /*
    27     *  @(#) ti.platforms.dsk5416; 1, 0, 0,297; 8-7-2010 18:28:22; /db/ztree/library/trees/platform/platform-l20x/src/
    28     */
    29