1 /* 2 * Copyright 2009 by Texas Instruments Incorporated. 3 * 4 * All rights reserved. Property of Texas Instruments Incorporated. 5 * Restricted rights to use, duplicate or disclose this code are 6 * granted through contract. 7 * 8 */ 9 10 requires ti.catalog.c6000; 11 requires xdc.platform [1,0,1]; 12 13 /*! 14 * ======== ti.platforms.dsk6713 ======== 15 * Platform package for the dsk6713 platform. 16 * 17 * This package implements the interfaces (xdc.platform.IPlatform) 18 * necessary to build and run executables on the dsk6713 platform. 19 */ 20 package ti.platforms.dsk6713 [1,0,0] { 21 module Platform; 22 } 23 /* 24 * @(#) ti.platforms.dsk6713; 1, 0, 0,225; 6-4-2009 14:09:59; /db/ztree/library/trees/platform-k10x/src/ 25 */ 26