utils.loadPlatform("myplatforms.C6747_LS041");

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

bios.GBL.CLKIN = 24000;
bios.GBL.C64PLUSMAR128to159 = 0x0000ffff;
bios.MEM.instance("L3_CBA_RAM").space = "data";
bios.MBX.create("Mbx_fcnt");
bios.MBX.instance("Mbx_fcnt").comment = "Fcnt_tsk mailbox";
bios.MBX.instance("Mbx_fcnt").messageSize = 4;
bios.TSK.instance("TSK_idle").order = 1;
bios.TSK.create("TSK_cmd");
bios.TSK.instance("TSK_cmd").order = 1;
bios.TSK.instance("TSK_cmd").comment = "Cmd_tsk";
bios.TSK.instance("TSK_cmd").fxn = prog.extern("Cmd_tsk");
bios.TSK.create("TSK_fcnt");
bios.TSK.instance("TSK_fcnt").order = 2;
bios.TSK.instance("TSK_fcnt").comment = "Fcnt_tsk";
bios.TSK.instance("TSK_fcnt").fxn = prog.extern("Fcnt_tsk");
bios.GBL.CALLUSERINITFXN = 1;
bios.GBL.USERINITFXN = prog.extern("Psc_init");
bios.ECM.ENABLE = 1;
bios.HWI.instance("HWI_INT7").interruptSelectNumber = 0;
bios.HWI.instance("HWI_INT8").interruptSelectNumber = 1;
bios.HWI.instance("HWI_INT9").interruptSelectNumber = 2;
bios.HWI.instance("HWI_INT10").interruptSelectNumber = 3;
bios.MBX.create("Mbx_acf");
bios.MBX.instance("Mbx_acf").messageSize = 4;
bios.TSK.create("TSK_acf");
bios.TSK.instance("TSK_acf").order = 3;
bios.TSK.instance("TSK_acf").comment = "Acf_tsk";
bios.TSK.instance("TSK_acf").fxn = prog.extern("Acf_tsk");
bios.TSK.create("TSK_led");
bios.TSK.instance("TSK_led").order = 4;
bios.TSK.instance("TSK_led").comment = "Led_tsk";
bios.TSK.instance("TSK_led").fxn = prog.extern("Led_tsk");
bios.TSK.create("TSK_tx");
bios.TSK.instance("TSK_tx").order = 5;
bios.TSK.instance("TSK_tx").comment = "Tx_tsk";
bios.TSK.instance("TSK_tx").fxn = prog.extern("Tx_tsk");
bios.UDEV.create("UART0");
bios.UDEV.instance("UART0").comment = "UART0";
bios.UDEV.instance("UART0").initFxn = prog.extern("user_uart0_init");
bios.UDEV.instance("UART0").fxnTable = prog.extern("uartParams", "asm");
bios.UDEV.instance("UART0").fxnTableType = "IOM_Fxns";
bios.UDEV.instance("UART0").fxnTable = prog.extern("Uart_IOMFXNS");
bios.UDEV.instance("UART0").params = prog.extern("uartParams");
bios.MEM.instance("IRAM").base = 0x11800400;
bios.MEM.instance("IRAM").len = 0x0003fc00;
bios.MEM.create("BOOT");
bios.MEM.instance("BOOT").comment = "BOOT LOADER";
bios.MEM.instance("BOOT").base = 0x11800000;
bios.MEM.instance("BOOT").len = 0x00000400;
bios.MEM.instance("BOOT").space = "code/data";
bios.MEM.STACKSIZE = 0x2000;
bios.RTDX.MODE = "Simulator";
bios.MEM.NOMEMORYHEAPS = 0;
bios.MEM.instance("IRAM").createHeap = 1;
bios.MEM.instance("IRAM").heapSize = 0x00004000;
bios.MEM.BIOSOBJSEG = prog.get("IRAM");
bios.MEM.MALLOCSEG = prog.get("IRAM");
bios.LOG.create("TRACE");
bios.LOG.instance("TRACE").bufLen = 512;
bios.MEM.create("FROM");
bios.MEM.instance("FROM").createHeap = 0;
bios.MEM.instance("FROM").space = "reserved";
bios.MEM.instance("FROM").comment = "FLASH ROM";
bios.MEM.instance("FROM").base = 0x60000000;
bios.MEM.instance("FROM").len = 0x00200000;
bios.GIO.ENABLEGIO = 1;
bios.TSK.instance("TSK_fcnt").stackSize = 4096;
bios.RTDX.MODE = "JTAG";
bios.SEM.create("Sem_Acf_data");
bios.SEM.instance("Sem_Acf_data").count = 1;
bios.TSK.instance("TSK_acf").priority = 2;
bios.TSK.instance("TSK_fcnt").priority = 2;
bios.TSK.instance("TSK_led").priority = 2;
bios.TSK.instance("TSK_cmd").order = 2;
bios.TSK.instance("TSK_fcnt").order = 3;
bios.TSK.instance("TSK_acf").order = 4;
bios.TSK.instance("TSK_led").order = 5;
bios.TSK.instance("TSK_tx").destroy();
bios.MEM.instance("BOOT").len = 0x00004000;
bios.MEM.instance("IRAM").base = 0x11804000;
bios.MEM.instance("IRAM").len = 0x0003c000;
bios.LOG.instance("TRACE").destroy();
bios.MEM.instance("BOOT").len = 0x00000800;
bios.MEM.instance("IRAM").base = 0x11800800;
bios.MEM.instance("IRAM").len = 0x0003f800;
bios.TSK.instance("TSK_acf").stackSize = 2048;
bios.TSK.instance("TSK_cmd").stackSize = 8192;
bios.TSK.instance("TSK_led").stackSize = 2048;
bios.TSK.instance("TSK_idle").stackSize = 2048;
bios.UDEV.instance("UART0").deviceId = 2;
bios.UDEV.instance("UART0").deviceId = 1;
bios.MEM.STACKSIZE = 0x4000;
bios.MEM.STACKSIZE = 0x2000;
bios.UDEV.instance("UART0").deviceId = 0;
bios.UDEV.instance("UART0").deviceId = 2;
bios.UDEV.instance("UART0").deviceId = 0;
// !GRAPHICAL_CONFIG_TOOL_SCRIPT_INSERT_POINT!

prog.gen();