- /*
- * ======== dsk6711 ========
- * Load the dsk6711 platform
- */
- utils.loadPlatform("Dsk6711");
- utils.importFile("Dsk6711_ddk.tci");
- utils.importFile("uarttest.tci");
- if (config.hasReportedError == false) {
- prog.gen();
- } else {
- throw new Error( "Error in config script -- database not generated." );
- }