index 570cfd5b3930a24a2597ebf7a32f8f8795133d55..24907c5a27b93df3b6c0d30bc34166195f22a0e0 100644 (file)
/*
- * Copyright (c) 2012-2013, Texas Instruments Incorporated
+ * Copyright (c) 2015, Texas Instruments Incorporated
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* Get the list of names that the build device supports.
* I.e. ["CORE0", "CORE1", "CORE2" ... ]
*/
-///var nameList = ["CORE0", "CORE1"];
var nameList = ["CORE0"];
/*
});
/* PDK packages */
-var devType = "k2h"
+var devType = "k2e"
var Csl = xdc.useModule('ti.csl.Settings');
Csl.deviceType = devType;
var Rm = xdc.loadPackage('ti.drv.rm');