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