1    /*
     2     * Copyright (c) 2016, Texas Instruments Incorporated
     3     * All rights reserved.
     4     *
     5     * Redistribution and use in source and binary forms, with or without
     6     * modification, are permitted provided that the following conditions
     7     * are met:
     8     *
     9     * *  Redistributions of source code must retain the above copyright
    10     *    notice, this list of conditions and the following disclaimer.
    11     *
    12     * *  Redistributions in binary form must reproduce the above copyright
    13     *    notice, this list of conditions and the following disclaimer in the
    14     *    documentation and/or other materials provided with the distribution.
    15     *
    16     * *  Neither the name of Texas Instruments Incorporated nor the names of
    17     *    its contributors may be used to endorse or promote products derived
    18     *    from this software without specific prior written permission.
    19     *
    20     * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
    21     * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
    22     * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
    23     * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
    24     * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
    25     * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
    26     * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
    27     * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
    28     * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
    29     * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
    30     * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
    31     */
    32    
    33    /*
    34     *  ======== Platform.xdc ========
    35     *
    36     */
    37    
    38    /*!
    39     *  ======== Platform ========
    40     *  Platform support for the simTesla
    41     */
    42    metaonly module Platform inherits xdc.platform.IPlatform
    43    {
    44        readonly config xdc.platform.IPlatform.Board BOARD = {
    45            id:             "0",
    46            boardName:      "simTesla",
    47            boardFamily:    "simTesla",
    48            boardRevision:  null,
    49        };
    50    
    51        readonly config xdc.platform.IExeContext.Cpu CPU = {
    52            id:             "0",
    53            clockRate:      466,
    54            catalogName:    "ti.catalog.c6000",
    55            deviceName:     "OMAP4430",
    56            revision:       "1.0",
    57        };
    58    
    59    instance:
    60    
    61        /*!
    62         *  ======== externalMemoryMap ========
    63         *  Memory regions as defined in the Tesla Functional Specification
    64         */
    65    
    66        override readonly config xdc.platform.IPlatform.Memory
    67            externalMemoryMap[string] = [
    68    
    69                ["EXT_RAM", {
    70                    comment: "External RAM",
    71                    name: "EXT_RAM",
    72                    base: 0x20000000,
    73                    len:  0x01000000
    74                }],
    75    
    76            ];
    77    
    78    
    79        override config string codeMemory  = "EXT_RAM";
    80        override config string dataMemory  = "EXT_RAM";
    81        override config string stackMemory = "EXT_RAM";
    82    
    83        /*
    84         *  ======== l1PMode ========
    85         *  Define the amount of L1P RAM used for L1 Program Cache.
    86         *
    87         *  Check the device documentation for valid values.
    88         */
    89        config String l1PMode = "32k";
    90    
    91        /*
    92         *  ======== l1DMode ========
    93         *  Define the amount of L1D RAM used for L1 Data Cache.
    94         *
    95         *  Check the device documentation for valid values.
    96         */
    97        config String l1DMode = "32k";
    98    
    99        /*
   100         *  ======== l2Mode ========
   101         *  Define the amount of L2 RAM used for L2 Cache.
   102         *
   103         *  Check the device documentation for valid values.
   104         */
   105        config String l2Mode = "0k";
   106    };