source: soft/giet_vm/map.xml @ 169

Last change on this file since 169 was 169, checked in by alain, 12 years ago

Introducing support for FBDMA (Frame Buffer using DMA)

File size: 8.5 KB
RevLine 
[158]1<?xml version="1.0"?>
2
3<mapping_info   signature = "0xdeadbeef" 
4                name     = "c1_v2_G12"
5                clusters = "1"
6                psegs    = "9"
[169]7                ttys     = "2"
8                fbs      = "1"
9                vspaces  = "1" 
[160]10                globals  = "13" >
[158]11
12        <clusterset>
[165]13                <cluster index  = "0"
[169]14                         procs  = "2" />
[158]15        </clusterset>
16
17        <psegset>
18                <pseg    name   = "PSEG_ROM" 
19                         base   = "0xbfc00000" 
20                         length = "0x00010000" />
21
22                <pseg    name   = "PSEG_RAU" 
23                         base   = "0x00000000" 
24                         length = "0x01000000" />
25
26                <pseg    name   = "PSEG_RAK" 
27                         base   = "0x80000000" 
28                         length = "0x00100000" />
29
30                <pseg    name   = "PSEG_TTY"
31                         base   = "0x90000000" 
[167]32                         length = "0x00001000" />
[158]33
34                <pseg    name   = "PSEG_TIM" 
35                         base   = "0x91000000" 
[167]36                         length = "0x00001000" />
[158]37
38                <pseg    name   = "PSEG_IOC" 
39                         base   = "0x92000000" 
[167]40                         length = "0x00001000" />
[158]41
42                <pseg    name   = "PSEG_DMA" 
43                         base   = "0x93000000" 
[167]44                         length = "0x00001000" />
[158]45
46                <pseg    name   = "PSEG_FBF" 
47                         base   = "0x96000000" 
48                         length = "0x00004000" />
49
50                <pseg    name   = "PSEG_ICU" 
51                         base   = "0x9F000000" 
[167]52                         length = "0x00001000" />
[158]53        </psegset> 
54
55        <globalset> 
[160]56                <vseg   name      = "seg_boot_code_data" 
[158]57                        vbase     = "0xbfc00000" 
58                        mode      = "CX__" 
59                        psegname  = "PSEG_ROM" 
[160]60                        ident     = "1" >
[165]61                                            <vobj   name        = "seg_boot"
62                                                        type    = "ELF"
63                                                        length  = "0x00008000" 
64                                                        binpath = "build/boot.elf" />
[160]65                                </vseg>
[158]66
67                <vseg   name      = "seg_boot_stack"
68                        vbase     = "0xbfc08000" 
69                        mode      = "C_W_"
70                        psegname  = "PSEG_ROM"
[160]71                        ident     = "1" >
[165]72                                        <vobj   name    = "boot_stack"
73                                                        type    = "BUFFER"
74                                                        length  = "0x00004000" />
[160]75                                </vseg>
[158]76
77                <vseg   name      = "seg_boot_mapping"
78                        vbase     = "0xbfc0c000" 
79                        mode      = "C_W_"
80                        psegname  = "PSEG_ROM"
[160]81                        ident     = "1" >
[165]82                                        <vobj   name    = "seg_mapping"
83                                                        type    = "ELF"
84                                                        length  = "0x00004000" 
85                                                        binpath = "map.bin" />
[160]86                                </vseg>
[158]87
88                <vseg   name      = "seg_kernel_code"
89                        vbase     = "0x80000000" 
90                        mode      = "CX__" 
91                        psegname  = "PSEG_RAK"
[160]92                        ident     = "1" >
[161]93                                        <vobj   name    = "seg_kernel_code"
[160]94                                                        type    = "ELF"
95                                                        length  = "0x00010000" 
[161]96                                                        binpath = "build/sys.elf"
[160]97                                                        />
98                                </vseg>
[158]99
100                <vseg   name      = "seg_kernel_data"
101                        vbase     = "0x80010000" 
102                        mode      = "C_W_" 
103                        psegname  = "PSEG_RAK"
[160]104                        ident     = "1" >
[165]105                                        <vobj   name    = "seg_kernel_data"
106                                                        type    = "ELF"
[167]107                                                        length  = "0x00040000" 
[165]108                                                        binpath = "build/sys.elf" />
[160]109                                </vseg>
[158]110
111                <vseg   name      = "seg_kernel_uncdata"
[167]112                        vbase     = "0x80080000" 
[158]113                        mode      = "__W_"
114                        psegname  = "PSEG_RAK"
[160]115                        ident     = "1" >
[165]116                                            <vobj   name        = "seg_kernel_uncdata"
117                                                        type    = "ELF"
118                                                            length  = "0x00010000" 
119                                                        binpath = "build/sys.elf" />
[160]120                                </vseg>
[158]121
[160]122                <vseg   name      = "seg_kernel_init"
[167]123                        vbase     = "0x80090000" 
[160]124                        mode      = "CX__"
[158]125                        psegname  = "PSEG_RAK"
[160]126                        ident     = "1" >
[165]127                                        <vobj   name    = "seg_kernel_init"
128                                                        type    = "ELF"
129                                                        length  = "0x00010000" 
130                                                        binpath = "build/sys.elf" />
[160]131                                </vseg>
[158]132
[160]133
[158]134                <vseg   name      = "seg_tty"
135                        vbase     = "0x90000000" 
136                        mode      = "__W_"
137                        psegname  = "PSEG_TTY"
[160]138                        ident     = "1" >
[165]139                                        <vobj   name    = "tty"
140                                                        type    = "PERI"
[169]141                                                        length  = "0x00000100" />
[160]142                                </vseg>
[158]143
144                <vseg   name      = "seg_timer"
145                        vbase     = "0x91000000" 
146                        mode      = "__W_"
147                        psegname  = "PSEG_TIM"
[160]148                        ident     = "1" >
[165]149                                        <vobj   name    = "timer"
150                                                        type    = "PERI"
[169]151                                                        length  = "0x00000080" />
[160]152                                </vseg>
[158]153
154                <vseg   name      = "seg_ioc"
155                        vbase     = "0x92000000" 
156                        mode      = "__W_"
157                        psegname  = "PSEG_IOC"
[160]158                        ident     = "1" >
[165]159                                        <vobj   name    = "ioc"
160                                                        type    = "PERI"
161                                                        length  = "0x00000020" />
[160]162                                </vseg>
[158]163
164                <vseg   name      = "seg_dma"
165                        vbase     = "0x93000000" 
166                        mode      = "__W_"
167                        psegname  = "PSEG_DMA"
[160]168                        ident     = "1" >
[165]169                                        <vobj   name    = "dma"
170                                                        type    = "PERI"
[169]171                                                        length  = "0x00000100" />
[160]172                                </vseg>
[158]173
174                <vseg   name      = "seg_fb"
175                        vbase     = "0x96000000" 
176                        mode      = "__W_"
177                        psegname  = "PSEG_FBF"
[160]178                        ident     = "1" >
[165]179                                        <vobj   name    = "fb"
180                                                        type    = "PERI"
181                                                        length  = "0x00004000" />
[160]182                                </vseg>
[158]183
184                <vseg   name      = "seg_icu"
185                        vbase     = "0x9F000000" 
186                        mode      = "__W_"
187                        psegname  = "PSEG_ICU"
[160]188                        ident     = "1" >
[165]189                                        <vobj   name    = "icu"
190                                                        type    = "PERI"
191                                                        length  = "0x00000100" />
[160]192                                </vseg>
[158]193          </globalset> 
194
195          <vspaceset>
[167]196                <vspace name      = "display" 
197                        startname = "seg_data_display" >
198
199                        <vseg   name      = "seg_data_display"
200                                vbase     = "0x00800000" 
201                                mode      = "C_WU"
202                                psegname  = "PSEG_RAU" >
203                                                            <vobj   name        = "seg_data_display"
204                                                                        type    = "ELF"
205                                                                            length  = "0x00010000" 
206                                        binpath = "build/display.elf" />
207                                                </vseg>
208
[169]209                        <vseg   name      = "seg_ptab"
[167]210                                vbase     = "0x00300000" 
211                                mode      = "C___"
212                                psegname  = "PSEG_RAU" >
213                                <vobj   name    = "ptab"
214                                        type    = "PTAB"
215                                        length  = "0x00012000" 
216                                        align   = "13" />
217                        </vseg>
218
219                        <vseg   name      = "seg_code_display"
220                                vbase     = "0x00400000" 
221                                mode      = "CX_U"
222                                psegname  = "PSEG_RAU" >
223                                                            <vobj   name        = "seg_code_display"
224                                                                        type    = "ELF"
225                                                                            length  = "0x00010000" 
226                                        binpath = "build/display.elf" />
227                                                </vseg>
228
229                        <vseg   name      = "seg_stack_display"
230                                vbase     = "0x00000000" 
231                                mode      = "C_WU"
232                                psegname  = "PSEG_RAU" >
233                                                            <vobj   name        = "stack_display"
234                                                                        type    = "BUFFER"
235                                                                            length  = "0x00010000" />
236                                                </vseg>
237
238                        <task   name      = "main_display"
239                                clusterid = "0"
[169]240                                proclocid = "1"
[167]241                                stackname = "stack_display"
242                                startid   = "0" 
[169]243                                usetty    = "1"
244                                usefb     = "1" />
[167]245                </vspace>
246
[158]247          </vspaceset>
248</mapping_info>
Note: See TracBrowser for help on using the repository browser.