utils.loadPlatform("ti.platforms.dsk6455");

/* The following DSP/BIOS Features are enabled.  */
bios.enableRealTimeAnalysis(prog);
bios.enableRtdx(prog);
bios.enableTskManager(prog);

bios.TSK.create("TSK_main");
bios.TSK.instance("TSK_main").order = 1;
bios.TSK.instance("TSK_main").fxn = prog.extern("task_main");
bios.MEM.STACKSIZE = 0x4000;
bios.TSK.instance("TSK_main").stackSize = 16384;
bios.MEM.USERCOMMANDFILE = 0;
bios.HWI.instance("HWI_INT4").useDispatcher = 1;
bios.HWI.instance("HWI_INT4").fxn = prog.extern("INT4");
bios.HWI.instance("HWI_INT8").fxn = prog.extern("EDMA_intDispatcher");
bios.HWI.instance("HWI_INT4").interruptSelectNumber = 56;
bios.HWI.instance("HWI_INT8").interruptSelectNumber = 24;
bios.HWI.instance("HWI_INT8").useDispatcher = 1;
bios.MEM.NOMEMORYHEAPS = 0;
bios.MEM.instance("DDR2").createHeap = 1;
bios.MEM.instance("DDR2").heapSize = 0x01000000;
bios.MEM.BIOSOBJSEG = prog.get("DDR2");
bios.MEM.MALLOCSEG = prog.get("DDR2");
bios.HWI.instance("HWI_INT13").fxn = prog.extern("i82541Int");
bios.HWI.instance("HWI_INT13").useDispatcher = 1;
bios.HWI.instance("HWI_INT13").interruptSelectNumber = 61;
bios.HOOK.create("HOOK_NDK");
bios.HOOK.instance("HOOK_NDK").initFxn = prog.extern("NDK_hookInit");
bios.HOOK.instance("HOOK_NDK").createFxn = prog.extern("NDK_hookCreate");
bios.CLK.TIMERSELECT = "Timer 1";
bios.CLK.MICROSECONDS = 999.9960;
bios.MEM.USERCOMMANDFILE = 1;
bios.MEM.USERCOMMANDFILE = 0;
bios.TSK.instance("TSK_main").allocateTaskName = 1;
bios.TSK.instance("TSK_idle").allocateTaskName = 1;
bios.MEM.instance("DDR2").heapSize = 0x0c000000;
bios.PRD.create("PRD_NDK");
bios.PRD.instance("PRD_NDK").order = 1;
bios.PRD.instance("PRD_NDK").period = 100;
bios.PRD.instance("PRD_NDK").fxn = prog.extern("llTimerTick");
bios.LOG.create("LOG_trace");
bios.LOG.instance("LOG_trace").bufLen = 2048;
bios.LOG.instance("LOG_trace").destroy();
bios.LOG.create("trace");
bios.LOG.instance("trace").bufLen = 2048;
bios.MEM.USERCOMMANDFILE = 1;
bios.TSK.instance("TSK_main").stackSize = 8192;
bios.TSK.instance("TSK_main").priority = 10;
bios.GBL.C64PLUSL2CFG = "256k";
bios.MEM.instance("IRAM").len = 0x000c0000;
bios.GBL.C64PLUSMAR224to255 = 0xffffffff;
bios.GBL.C64PLUSCONFIGURE = 0;
bios.GBL.C64PLUSCONFIGURE = 1;
bios.GBL.C64PLUSCONFIGURE = 1;
bios.GBL.C64PLUSMAR160to191 = 0x00010000;
bios.MEM.instance("IRAM").len = 0x001c0000;
bios.GBL.CLKOUT = 1200.0000;
bios.TSK.instance("TSK_main").priority = 2;
bios.MEM.instance("IRAM").createHeap = 1;
bios.MEM.instance("IRAM").heapSize = 0x00040000;
bios.HST.HOSTLINKTYPE = "NONE";
bios.RTDX.ENABLERTDX = 0;
bios.MEM.instance("DDR2").comment = "512Mbytes of the DSP's off-chip memory";
bios.MEM.instance("DDR2").len = 0x20000000;
bios.MEM.instance("DDR2").heapSize = 0x1c000000;
bios.TSK.instance("TSK_idle").order = 1;
bios.TSK.instance("TSK_main").order = 2;
// !GRAPHICAL_CONFIG_TOOL_SCRIPT_INSERT_POINT!

prog.gen();

