source: soft/giet_vm/map.xml @ 167

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

Fix several bugs to use the vci_block_device with MMU activated

File size: 17.0 KB
Line 
1<?xml version="1.0"?>
2
3<mapping_info   signature = "0xdeadbeef" 
4                name     = "c1_v2_G12"
5                clusters = "1"
6                psegs    = "9"
7                ttys     = "8"
8                fbs      = "0"
9                vspaces  = "4" 
10                globals  = "13" >
11
12        <clusterset>
13                <cluster index  = "0"
14                         procs  = "4" />
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" 
32                         length = "0x00001000" />
33
34                <pseg    name   = "PSEG_TIM" 
35                         base   = "0x91000000" 
36                         length = "0x00001000" />
37
38                <pseg    name   = "PSEG_IOC" 
39                         base   = "0x92000000" 
40                         length = "0x00001000" />
41
42                <pseg    name   = "PSEG_DMA" 
43                         base   = "0x93000000" 
44                         length = "0x00001000" />
45
46                <pseg    name   = "PSEG_FBF" 
47                         base   = "0x96000000" 
48                         length = "0x00004000" />
49
50                <pseg    name   = "PSEG_ICU" 
51                         base   = "0x9F000000" 
52                         length = "0x00001000" />
53        </psegset> 
54
55        <globalset> 
56                <vseg   name      = "seg_boot_code_data" 
57                        vbase     = "0xbfc00000" 
58                        mode      = "CX__" 
59                        psegname  = "PSEG_ROM" 
60                        ident     = "1" >
61                                            <vobj   name        = "seg_boot"
62                                                        type    = "ELF"
63                                                        length  = "0x00008000" 
64                                                        binpath = "build/boot.elf" />
65                                </vseg>
66
67                <vseg   name      = "seg_boot_stack"
68                        vbase     = "0xbfc08000" 
69                        mode      = "C_W_"
70                        psegname  = "PSEG_ROM"
71                        ident     = "1" >
72                                        <vobj   name    = "boot_stack"
73                                                        type    = "BUFFER"
74                                                        length  = "0x00004000" />
75                                </vseg>
76
77                <vseg   name      = "seg_boot_mapping"
78                        vbase     = "0xbfc0c000" 
79                        mode      = "C_W_"
80                        psegname  = "PSEG_ROM"
81                        ident     = "1" >
82                                        <vobj   name    = "seg_mapping"
83                                                        type    = "ELF"
84                                                        length  = "0x00004000" 
85                                                        binpath = "map.bin" />
86                                </vseg>
87
88                <vseg   name      = "seg_kernel_code"
89                        vbase     = "0x80000000" 
90                        mode      = "CX__" 
91                        psegname  = "PSEG_RAK"
92                        ident     = "1" >
93                                        <vobj   name    = "seg_kernel_code"
94                                                        type    = "ELF"
95                                                        length  = "0x00010000" 
96                                                        binpath = "build/sys.elf"
97                                                        />
98                                </vseg>
99
100                <vseg   name      = "seg_kernel_data"
101                        vbase     = "0x80010000" 
102                        mode      = "C_W_" 
103                        psegname  = "PSEG_RAK"
104                        ident     = "1" >
105                                        <vobj   name    = "seg_kernel_data"
106                                                        type    = "ELF"
107                                                        length  = "0x00040000" 
108                                                        binpath = "build/sys.elf" />
109                                </vseg>
110
111                <vseg   name      = "seg_kernel_uncdata"
112                        vbase     = "0x80080000" 
113                        mode      = "__W_"
114                        psegname  = "PSEG_RAK"
115                        ident     = "1" >
116                                            <vobj   name        = "seg_kernel_uncdata"
117                                                        type    = "ELF"
118                                                            length  = "0x00010000" 
119                                                        binpath = "build/sys.elf" />
120                                </vseg>
121
122                <vseg   name      = "seg_kernel_init"
123                        vbase     = "0x80090000" 
124                        mode      = "CX__"
125                        psegname  = "PSEG_RAK"
126                        ident     = "1" >
127                                        <vobj   name    = "seg_kernel_init"
128                                                        type    = "ELF"
129                                                        length  = "0x00010000" 
130                                                        binpath = "build/sys.elf" />
131                                </vseg>
132
133
134                <vseg   name      = "seg_tty"
135                        vbase     = "0x90000000" 
136                        mode      = "__W_"
137                        psegname  = "PSEG_TTY"
138                        ident     = "1" >
139                                        <vobj   name    = "tty"
140                                                        type    = "PERI"
141                                                        length  = "0x00001000" />
142                                </vseg>
143
144                <vseg   name      = "seg_timer"
145                        vbase     = "0x91000000" 
146                        mode      = "__W_"
147                        psegname  = "PSEG_TIM"
148                        ident     = "1" >
149                                        <vobj   name    = "timer"
150                                                        type    = "PERI"
151                                                        length  = "0x00001000" />
152                                </vseg>
153
154                <vseg   name      = "seg_ioc"
155                        vbase     = "0x92000000" 
156                        mode      = "__W_"
157                        psegname  = "PSEG_IOC"
158                        ident     = "1" >
159                                        <vobj   name    = "ioc"
160                                                        type    = "PERI"
161                                                        length  = "0x00000020" />
162                                </vseg>
163
164                <vseg   name      = "seg_dma"
165                        vbase     = "0x93000000" 
166                        mode      = "__W_"
167                        psegname  = "PSEG_DMA"
168                        ident     = "1" >
169                                        <vobj   name    = "dma"
170                                                        type    = "PERI"
171                                                        length  = "0x00001000" />
172                                </vseg>
173
174                <vseg   name      = "seg_fb"
175                        vbase     = "0x96000000" 
176                        mode      = "__W_"
177                        psegname  = "PSEG_FBF"
178                        ident     = "1" >
179                                        <vobj   name    = "fb"
180                                                        type    = "PERI"
181                                                        length  = "0x00004000" />
182                                </vseg>
183
184                <vseg   name      = "seg_icu"
185                        vbase     = "0x9F000000" 
186                        mode      = "__W_"
187                        psegname  = "PSEG_ICU"
188                        ident     = "1" >
189                                        <vobj   name    = "icu"
190                                                        type    = "PERI"
191                                                        length  = "0x00000100" />
192                                </vseg>
193          </globalset> 
194
195          <vspaceset>
196                <vspace name      = "router"
197                        startname = "seg_data_router" >
198
199                        <vseg   name      = "seg_data_router"
200                                vbase     = "0x00800000" 
201                                mode      = "__WU"
202                                psegname  = "PSEG_RAU" >
203                                                            <vobj   name        = "seg_data_router"
204                                                                        type    = "ELF"
205                                                                        length  = "0x00010000" 
206                                        binpath = "build/router.elf" />
207                                                </vseg>
208
209                        <vseg   name      = "seg_code_router"
210                                vbase     = "0x00400000" 
211                                mode      = "CX_U"
212                                psegname  = "PSEG_RAU" >
213                                                            <vobj   name        = "seg_code_router"
214                                                                        type    = "ELF"
215                                                                            length  = "0x00010000" 
216                                        binpath = "build/router.elf" />
217                                                </vseg>
218
219                        <vseg   name      = "seg_ptab"
220                                vbase     = "0x00300000" 
221                                mode      = "C___"
222                                psegname  = "PSEG_RAU" >
223                                <vobj   name    = "ptab_router"
224                                        type    = "PTAB"
225                                        length  = "0x00012000" 
226                                        align   = "13" />
227                        </vseg>
228
229                        <vseg   name      = "seg_stack_producer"
230                                                vbase     = "0x00010000" 
231                                mode      = "C_WU"
232                                psegname  = "PSEG_RAU" >
233                                                            <vobj   name        = "stack_producer"
234                                                                        type    = "BUFFER"
235                                                                            length  = "0x00010000" />
236                                                </vseg>
237
238                        <vseg   name      = "seg_stack_consumer"
239                                                vbase     = "0x00020000" 
240                                mode      = "C_WU"
241                                psegname  = "PSEG_RAU" >
242                                                            <vobj   name        = "stack_consumer"
243                                                                        type    = "BUFFER"
244                                                                            length  = "0x00010000" />
245                                                </vseg>
246
247                        <vseg   name      = "seg_stack_router_A"
248                                                vbase     = "0x00030000" 
249                                mode      = "C_WU"
250                                psegname  = "PSEG_RAU" >
251                                                            <vobj   name        = "stack_router_A"
252                                                                        type    = "BUFFER"
253                                                                            length  = "0x00010000" />
254                                                </vseg>
255
256                        <vseg   name      = "seg_stack_router_B"
257                                                vbase     = "0x00040000" 
258                                mode      = "C_WU"
259                                psegname  = "PSEG_RAU" >
260                                                            <vobj   name        = "stack_router_B"
261                                                                        type    = "BUFFER"
262                                                                            length  = "0x00010000" />
263                                                </vseg>
264
265                        <vseg   name      = "seg_mwmr_channels"
266                                vbase     = "0x00050000"
267                                mode      = "__WU"
268                                psegname  = "PSEG_RAU" >
269                                                            <vobj   name        = "mwmr_in"
270                                                                        type    = "MWMR"
271                                                                            length  = "0x00000020" />
272                                                            <vobj   name        = "mwmr_out"
273                                                                        type    = "MWMR"
274                                                                            length  = "0x00000020" />
275                                                </vseg>
276
277                        <task   name      = "producer"
278                                clusterid = "0"
279                                proclocid = "0"
280                                stackname = "stack_producer"
281                                startid   = "0"
282                                usetty    = "1" />
283
284                        <task   name      = "consumer"
285                                clusterid = "0"
286                                proclocid = "1"
287                                stackname = "stack_consumer"
288                                startid   = "1" 
289                                usetty    = "1" />
290
291                        <task   name      = "router_A"
292                                clusterid = "0"
293                                proclocid = "2"
294                                stackname = "stack_router_A"
295                                startid   = "2"
296                                usetty    = "1" />
297
298                        <task   name      = "router_B"
299                                clusterid = "0"
300                                proclocid = "3"
301                                stackname = "stack_router_B"
302                                startid   = "2"
303                                usetty    = "1" />
304                </vspace>
305
306                <vspace name      = "hello" 
307                        startname = "seg_data_hello" >
308
309                        <vseg   name      = "seg_data_hello"
310                                vbase     = "0x00800000" 
311                                mode      = "C_WU"
312                                psegname  = "PSEG_RAU" >
313                                                            <vobj   name        = "seg_data_hello"
314                                                                        type    = "ELF"
315                                                                            length    = "0x00010000" 
316                                        binpath = "build/hello.elf" />
317                                                </vseg>
318
319                        <vseg   name      = "seg_code_hello"
320                                vbase     = "0x00400000" 
321                                mode      = "CX_U"
322                                psegname  = "PSEG_RAU" >
323                                                            <vobj   name        = "seg_code_hello"
324                                                                        type    = "ELF"
325                                                                            length    = "0x00010000" 
326                                        binpath = "build/hello.elf" />
327                                                </vseg>
328
329                        <vseg   name      = "seg_ptab"
330                                vbase     = "0x00300000" 
331                                mode      = "C___"
332                                psegname  = "PSEG_RAU" >
333                                <vobj   name    = "ptab"
334                                        type    = "PTAB"
335                                        length  = "0x00012000" 
336                                        align   = "13" />
337                        </vseg>
338
339                        <vseg   name      = "seg_stack"
340                                vbase     = "0x00000000" 
341                                mode      = "C_WU"
342                                psegname  = "PSEG_RAU" >
343                                                            <vobj   name        = "stack"
344                                                                        type    = "BUFFER"
345                                                                            length  = "0x00010000" />
346                                                </vseg>
347
348
349                        <task   name      = "main_hello"
350                                clusterid = "0"
351                                proclocid = "2"
352                                stackname = "stack"
353                                startid   = "0" 
354                                usetty    = "1" />
355                </vspace>
356
357                <vspace name      = "pgcd" 
358                        startname = "seg_data_pgcd" >
359
360                        <vseg   name      = "seg_data_pgcd"
361                                vbase     = "0x00800000" 
362                                mode      = "C_WU"
363                                psegname  = "PSEG_RAU" >
364                                                            <vobj   name        = "seg_data_pgcd"
365                                                                        type    = "ELF"
366                                                                            length  = "0x00010000" 
367                                        binpath = "build/pgcd.elf" />
368                                                </vseg>
369
370                        <vseg   name      = "seg_ptab"
371                                vbase     = "0x00300000" 
372                                mode      = "C___"
373                                psegname  = "PSEG_RAU" >
374                                <vobj   name    = "ptab"
375                                        type    = "PTAB"
376                                        length  = "0x00012000" 
377                                        align   = "13" />
378                        </vseg>
379
380                        <vseg   name      = "seg_code_pgcd"
381                                vbase     = "0x00400000" 
382                                mode      = "CX_U"
383                                psegname  = "PSEG_RAU" >
384                                                            <vobj   name        = "seg_code_pgcd"
385                                                                        type    = "ELF"
386                                                                            length  = "0x00010000" 
387                                        binpath = "build/pgcd.elf" />
388                                                </vseg>
389
390                        <vseg   name      = "seg_stack"
391                                vbase     = "0x00000000" 
392                                mode      = "C_WU"
393                                psegname  = "PSEG_RAU" >
394                                                            <vobj   name        = "stack"
395                                                                        type    = "BUFFER"
396                                                                            length  = "0x00010000" />
397                                                </vseg>
398
399                        <task   name      = "main_pgcd"
400                                clusterid = "0"
401                                proclocid = "3"
402                                stackname = "stack"
403                                startid   = "0" 
404                                usetty    = "1" />
405                </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
457          </vspaceset>
458</mapping_info>
Note: See TracBrowser for help on using the repository browser.