- /*
- * ======== dsk5402 ========
- * Load the dsk5402 platform.
- */
- utils.loadPlatform("Dsk5402");
- utils.importFile("Dsk5402_ddk.tci");
- /* Increase the wait states because UART is much
- * slower than DSP
- */
- tibios.GBL.SWWSR = 0x7208;
- utils.importFile("uarttest.tci");
- if (config.hasReportedError == false) {
- prog.gen();
- } else {
- throw new Error( "Error in config script -- database not generated." );
- }