/*   Do *not* directly modify this file.  It was    *//*   generated by the Configuration Tool; any  *//*   changes risk being overwritten.                *//* INPUT dsk6713.cdb *//* MODULE PARAMETERS */GBL_USERINITFXN = _FXN_F_nop;MEM_SEGZERO = SDRAM;MEM_MALLOCSEG = SDRAM;CLK_TIMEFXN = CLK_F_getshtime;CLK_HOOKFXN = HWI_F_dispatch;PRD_THOOKFXN = _KNL_tick;RTDX_DATAMEMSEG = SDRAM;HST_DSMBUFSEG = SDRAM;SWI_EHOOKFXN = GBL_NULL;SWI_IHOOKFXN = GBL_NULL;SWI_EXECFXN = SWI_F_iexec;SWI_RUNFXN = SWI_F_run;TSK_STACKSEG = SDRAM;TSK_VCREATEFXN = __HOOK_doCreate;TSK_VDELETEFXN = __HOOK_doDelete;TSK_VEXITFXN = __HOOK_doExit;IDL_CALIBRFXN = GBL_NULL;SYS_ABORTFXN = _UTL_doAbort;SYS_ERRORFXN = _UTL_doError;SYS_EXITFXN = _UTL_halt;SYS_PUTCFXN = _UTL_doPutc;GIO_CREATEFXN = _FXN_F_nop;GIO_DELETEFXN = _FXN_F_nop;GIO_PENDFXN = _FXN_F_nop;GIO_POSTFXN = _FXN_F_nop;/* OBJECT ALIASES */_SDRAM = SDRAM;_CACHE_L2 = CACHE_L2;_OBJECT1 = OBJECT1;_L2 = L2;_PRD_clock = PRD_clock;_PRD0 = PRD0;_HWI_RESET = HWI_RESET;_HWI_NMI = HWI_NMI;_HWI_RESERVED0 = HWI_RESERVED0;_HWI_RESERVED1 = HWI_RESERVED1;_HWI_INT4 = HWI_INT4;_HWI_INT5 = HWI_INT5;_HWI_INT6 = HWI_INT6;_HWI_INT7 = HWI_INT7;_HWI_INT8 = HWI_INT8;_HWI_INT9 = HWI_INT9;_HWI_INT10 = HWI_INT10;_HWI_INT11 = HWI_INT11;_HWI_INT12 = HWI_INT12;_HWI_INT13 = HWI_INT13;_HWI_INT14 = HWI_INT14;_HWI_INT15 = HWI_INT15;_PRD_swi = PRD_swi;_KNL_swi = KNL_swi;_TSK_idle = TSK_idle;_TSK0 = TSK0;_LOG_system = LOG_system;_HOOK_KNL = HOOK_KNL;_HOOK_NDK = HOOK_NDK;/* MODULE GBL */SECTIONS {   .vers (COPY): {} /* version information */}-priority-llnkrtdx.a62-ldrivers.a67          /* device drivers support */-lsioboth.a62          /* supports both SIO models */-lbios.a62             /* DSP/BIOS support */-lrtdx.lib             /* RTDX support */-lcsl6713.lib-lrts6700.lib          /* C and C++ run-time library support */_GBL_CACHE = GBL_CACHE;/* MODULE MEM */-stack 0x1000MEMORY {   SDRAM       : origin = 0x80000000,  len = 0xe00000   CACHE_L2    : origin = 0x30000,     len = 0x10000   OBJECT1     : origin = 0x80e00000,  len = 0x200000   L2          : origin = 0x0,         len = 0x30000}/* MODULE CLK */SECTIONS {   .clk: {        _CLK_start = _CLK_start6x;        CLK_F_gethtime = CLK_F_getshtime;        CLK_A_TABBEG = .;        *(.clk)        CLK_A_TABEND = .;        CLK_A_TABLEN = (. - CLK_A_TABBEG) / 1;   } > SDRAM }_CLK_PRD = CLK_PRD;_CLK_COUNTSPMS = CLK_COUNTSPMS;_CLK_REGS = CLK_REGS;_CLK_USETIMER = CLK_USETIMER;_CLK_TIMERNUM = CLK_TIMERNUM;_CLK_TDDR = CLK_TDDR;/* MODULE PRD */SECTIONS {   .prd: {        PRD_A_TABBEG = .;        *(.prd)        PRD_A_TABEND = .;        PRD_A_TABLEN = (. - PRD_A_TABBEG) / 32;   } > SDRAM}/* MODULE RTDX */_RTDX_interrupt_mask = 0x0;/* MODULE SWI */SECTIONS {   .swi: {        SWI_A_TABBEG = .;        *(.swi)        SWI_A_TABEND = .;        SWI_A_TABLEN = (. - SWI_A_TABBEG) / 44;   } > SDRAM}/* MODULE IDL */SECTIONS {   .idl: {        IDL_A_TABBEG = .;        *(.idl)        IDL_A_TABEND = .;        IDL_A_TABLEN = (. - IDL_A_TABBEG) / 8;        IDL_A_CALBEG = .;        *(.idlcal)        IDL_A_CALEND = .;        IDL_A_CALLEN = (. - IDL_A_CALBEG) / 8;   } > SDRAM}SECTIONS {        .bss:     {} > SDRAM                .hwi_vec: {            HWI_A_VECS = .;            *(.hwi_vec)        } align = 0x400 > SDRAM                .far:     {} > SDRAM                .sysdata: {} > SDRAM                .sysinit:    {} > SDRAM                .sysregs: {} > SDRAM                .trcdata:    {} > SDRAM                .mem: 	  {} > SDRAM                .gblinit:    {} > SDRAM                .cinit:    {} > SDRAM                .pinit:   {} > SDRAM                .data:    {} > SDRAM                .const:    {} > SDRAM                .switch:    {} > SDRAM                .cio:     {} > SDRAM                .text:    {} > SDRAM                frt:    {} > SDRAM                .bios:    {} > SDRAM                .stack: fill=0xc0ffee {            GBL_stackbeg = .;            *(.stack)            GBL_stackend = GBL_stackbeg + 0x1000 - 1;            _HWI_STKBOTTOM = GBL_stackbeg + 0x1000 - 4 & ~7;            _HWI_STKTOP = GBL_stackbeg;        } > SDRAM                .trace: fill = 0x0 {           _SYS_PUTCBEG = .;           . += 0x200;           _SYS_PUTCEND = . - 1;        } > SDRAM                .rtdx_data: {}  > SDRAM                .rtdx_text: {}  > SDRAM                .hst: {             HST_A_TABBEG = .;            _HST_A_TABBEG = .;            /* no HST objects */            HST_A_TABEND = .;            _HST_A_TABEND = .;             HST_A_TABLEN = (. - _HST_A_TABBEG) / 20;            _HST_A_TABLEN = (. - _HST_A_TABBEG) / 20;        } > SDRAM                .dsm: {} > SDRAM                .hwi: {}  > SDRAM                .args: fill=0 {            *(.args)            . += 0x4;        } > SDRAM                .tsk: {            *(.tsk)        } > SDRAM                .TSK_idle$stk: {            *(.TSK_idle$stk)        } > SDRAM                .TSK0$stk: {            *(.TSK0$stk)        } > SDRAM                .log: {             LOG_A_TABBEG = .;            _LOG_A_TABBEG = .;            *(.log)            LOG_A_TABEND = .;            _LOG_A_TABEND = .;             LOG_A_TABLEN = (. - _LOG_A_TABBEG) / 24;            _LOG_A_TABLEN = (. - _LOG_A_TABBEG) / 24;        } > SDRAM                .printf (COPY): {} > SDRAM                /* LOG_system buffer */        .LOG_system$buf: align = 0x80 fill = 0xffffffff {} > SDRAM                .pip: {             PIP_A_TABBEG = .;            _PIP_A_TABBEG = .;            /* no PIP objects */            PIP_A_TABEND = .;            _PIP_A_TABEND = .;             PIP_A_TABLEN = (. - _PIP_A_TABBEG) / 100;            _PIP_A_TABLEN = (. - _PIP_A_TABBEG) / 100;        } > SDRAM                .sts: {             STS_A_TABBEG = .;            _STS_A_TABBEG = .;            /* no STS objects */            STS_A_TABEND = .;            _STS_A_TABEND = .;             STS_A_TABLEN = (. - _STS_A_TABBEG) / 16;            _STS_A_TABLEN = (. - _STS_A_TABBEG) / 16;        } > SDRAM                .sys:     {} > SDRAM                .gio:     {} > SDRAM                .SDRAM$heap: {            SDRAM$B = .;            _SDRAM_base = .;            SDRAM$L = 0x80000;            _SDRAM_length = 0x80000;            . += 0x80000;        } > SDRAM        }