Changeset 167 for soft/giet_vm/map.xml


Ignore:
Timestamp:
Jul 16, 2012, 10:26:27 AM (12 years ago)
Author:
alain
Message:

Fix several bugs to use the vci_block_device with MMU activated

File:
1 edited

Legend:

Unmodified
Added
Removed

  • soft/giet_vm/map.xml

    r165 r167  
    55                clusters = "1"
    66                psegs    = "9"
    7                 ttys     = "7"
     7                ttys     = "8"
    88                fbs      = "0"
    9                 vspaces  = "3"
     9                vspaces  = "4"
    1010                globals  = "13" >
    1111
    … …  
    3030                <pseg    name   = "PSEG_TTY"
    3131                         base   = "0x90000000"
    32                          length = "0x00000200" />
     32                         length = "0x00001000" />
    3333
    3434                <pseg    name   = "PSEG_TIM"
    3535                         base   = "0x91000000"
    36                          length = "0x00000080" />
     36                         length = "0x00001000" />
    3737
    3838                <pseg    name   = "PSEG_IOC"
    3939                         base   = "0x92000000"
    40                          length = "0x00000020" />
     40                         length = "0x00001000" />
    4141
    4242                <pseg    name   = "PSEG_DMA"
    4343                         base   = "0x93000000"
    44                          length = "0x00000100" />
     44                         length = "0x00001000" />
    4545
    4646                <pseg    name   = "PSEG_FBF"
    … …  
    5050                <pseg    name   = "PSEG_ICU"
    5151                         base   = "0x9F000000"
    52                          length = "0x00000100" />
     52                         length = "0x00001000" />
    5353        </psegset>
    5454
    … …  
    105105                                        <vobj   name    = "seg_kernel_data"
    106106                                                        type    = "ELF"
    107                                                         length  = "0x00010000"
     107                                                        length  = "0x00040000"
    108108                                                        binpath = "build/sys.elf" />
    109109                                </vseg>
    110110
    111111                <vseg   name      = "seg_kernel_uncdata"
    112                         vbase     = "0x80020000"
     112                        vbase     = "0x80080000"
    113113                        mode      = "__W_"
    114114                        psegname  = "PSEG_RAK"
    … …  
    121121
    122122                <vseg   name      = "seg_kernel_init"
    123                         vbase     = "0x80030000"
     123                        vbase     = "0x80090000"
    124124                        mode      = "CX__"
    125125                        psegname  = "PSEG_RAK"
    … …  
    139139                                        <vobj   name    = "tty"
    140140                                                        type    = "PERI"
    141                                                         length  = "0x00000100" />
     141                                                        length  = "0x00001000" />
    142142                                </vseg>
    143143
    … …  
    149149                                        <vobj   name    = "timer"
    150150                                                        type    = "PERI"
    151                                                         length  = "0x00000080" />
     151                                                        length  = "0x00001000" />
    152152                                </vseg>
    153153
    … …  
    169169                                        <vobj   name    = "dma"
    170170                                                        type    = "PERI"
    171                                                         length  = "0x00000100" />
     171                                                        length  = "0x00001000" />
    172172                                </vseg>
    173173
    … …  
    223223                                <vobj   name    = "ptab_router"
    224224                                        type    = "PTAB"
    225                                         length  = "0x00010000"
     225                                        length  = "0x00012000"
    226226                                        align   = "13" />
    227227                        </vseg>
    … …  
    333333                                <vobj   name    = "ptab"
    334334                                        type    = "PTAB"
    335                                         length  = "0x00010000"
     335                                        length  = "0x00012000"
    336336                                        align   = "13" />
    337337                        </vseg>
    … …  
    374374                                <vobj   name    = "ptab"
    375375                                        type    = "PTAB"
    376                                         length  = "0x00010000"
     376                                        length  = "0x00012000"
    377377                                        align   = "13" />
    378378                        </vseg>
    … …  
    404404                                usetty    = "1" />
    405405                </vspace>
     406
     407                <vspace name      = "display"
     408                        startname = "seg_data_display" >
     409
     410                        <vseg   name      = "seg_data_display"
     411                                vbase     = "0x00800000"
     412                                mode      = "C_WU"
     413                                psegname  = "PSEG_RAU" >
     414                                                            <vobj   name        = "seg_data_display"
     415                                                                        type    = "ELF"
     416                                                                            length  = "0x00010000"
     417                                        binpath = "build/display.elf" />
     418                                                </vseg>
     419
     420                        <vseg   name      = "seg_ptab_display"
     421                                vbase     = "0x00300000"
     422                                mode      = "C___"
     423                                psegname  = "PSEG_RAU" >
     424                                <vobj   name    = "ptab"
     425                                        type    = "PTAB"
     426                                        length  = "0x00012000"
     427                                        align   = "13" />
     428                        </vseg>
     429
     430                        <vseg   name      = "seg_code_display"
     431                                vbase     = "0x00400000"
     432                                mode      = "CX_U"
     433                                psegname  = "PSEG_RAU" >
     434                                                            <vobj   name        = "seg_code_display"
     435                                                                        type    = "ELF"
     436                                                                            length  = "0x00010000"
     437                                        binpath = "build/display.elf" />
     438                                                </vseg>
     439
     440                        <vseg   name      = "seg_stack_display"
     441                                vbase     = "0x00000000"
     442                                mode      = "C_WU"
     443                                psegname  = "PSEG_RAU" >
     444                                                            <vobj   name        = "stack_display"
     445                                                                        type    = "BUFFER"
     446                                                                            length  = "0x00010000" />
     447                                                </vseg>
     448
     449                        <task   name      = "main_display"
     450                                clusterid = "0"
     451                                proclocid = "3"
     452                                stackname = "stack_display"
     453                                startid   = "0"
     454                                usetty    = "1" />
     455                </vspace>
     456
    406457          </vspaceset>
    407458</mapping_info>
Note: See TracChangeset for help on using the changeset viewer.