关于 compiler version 的问题

settings.xs 中与 cortexa15 有关的内容： 
  "ti.catalog.arm.cortexa15": { "DRA7XX"，"OMAP5430"， "TCI6636K2H"}
deviceTable["ti.catalog.arm.cortexa15"]["Vayu"] = deviceTable["ti.catalog.arm.cortexa15"]["DRA7XX"];
deviceTable["ti.catalog.arm.cortexa15"]["TCI66AK2G02"] = deviceTable["ti.catalog.arm.cortexa15"]["TCI6636K2H"];

function deviceSupportCheck()
{
    catalogName = Program.cpu.catalogName;
    var deviceName;

    /* look for exact match */
    for (deviceName in deviceTable[Program.cpu.catalogName]) {
        if (deviceName == Program.cpu.deviceName) {
            return deviceName;
        }
    }

    /* now look for wild card match */
    for (deviceName in deviceTable[Program.cpu.catalogName]) {
        if (Program.cpu.deviceName.match(deviceName)) {
            return deviceName;
        }
    }

    /*
     * no match, print all catalog devices supported
     * and then raise an error
     */
    var catalog = xdc.loadPackage(Program.cpu.catalogName);

    var sd = [];

    for (var fullName in settings.device) {
        var deviceTokenized = fullName.split('.');
        deviceName = deviceTokenized.pop();
        var catalogPkg = deviceTokenized.join('.');
        if (catalogPkg == Program.cpu.catalogName &&
            sd.indexOf(deviceName) == -1) {
            sd.push(deviceName);
        }
    }


    for (var i = 0; i < catalog.$modules.length; i++) {
        catalogName = catalog.$modules[i].$name.substring(Program.cpu.catalogName.length+1);
        for (deviceName in deviceTable[Program.cpu.catalogName]) {
            if (catalogName.match(deviceName)) {
                if (sd.indexOf(catalogName) == -1) {
                    sd.push(catalogName);
                }
            }
        }
    }

    /* sort it for a nicer report */
    sd.sort();

    print("The " + Program.cpu.deviceName + " device is not currently supported.");
    print("The following devices are supported in the " +
            Program.cpu.catalogName + " catalog:");

    var numColumns = 5;
    for (i = 0; i < (sd.length % numColumns); i++) {
        sd.push("");
    }
    for (var i=0; i < sd.length; i += numColumns) {
        print("\t" + sd[i] + "  " + sd[i + 1] + "  " + sd[i + 2] +
                "  " + sd[i + 3] + "  " + sd[i + 4]);
    }

    throw new Error ("Unsupported device!");
}