/* * ------------ videocfg.tcf----------- */utils.loadPlatform("EvmDM642");/* *  import board-specific parameters for use by DDK examples. */utils.importFile("EvmDM642_ddk.tci");utils.importFile("video.tci");/* *  Check if there have been errors and generate the configuration *  database file. * */if (config.hasReportedError == false) {    prog.gen();} else {    throw new Error( "Error in config script -- database not generated." );}