source: soft/giet_vm/map.xml @ 186

Last change on this file since 186 was 185, checked in by karaoui, 12 years ago

removing some bugs

File size: 18.7 KB
Line 
1<?xml version="1.0"?>
2
3<mapping_info   signature = "0xdeadbeef" 
4                name     = "c1_v2_G12"
5                clusters = "1"
6                ttys     = "8"
7                fbs      = "1"
8                vspaces  = "4" 
9                globals  = "13" >
10
11        <clusterset>
12                <cluster index  = "0" >
13                        <pseg    name   = "PSEG_ROM" 
14                                 type   = "ROM"
15                                 base   = "0xbfc00000" 
16                                 length = "0x00010000" />
17
18                        <pseg    name   = "PSEG_RAU" 
19                                 type   = "RAM"
20                                 base   = "0x00000000" 
21                                 length = "0x01000000" />
22
23                        <pseg    name   = "PSEG_RAK" 
24                                 type   = "RAM"
25                                 base   = "0x80000000" 
26                                 length = "0x00100000" />
27
28                        <pseg    name   = "PSEG_TTY"
29                                 type   = "PERI"
30                                 base   = "0x90000000" 
31                                 length = "0x00001000" />
32
33                        <pseg    name   = "PSEG_TIM" 
34                                 type   = "PERI"
35                                 base   = "0x91000000" 
36                                 length = "0x00001000" />
37
38                        <pseg    name   = "PSEG_IOC" 
39                                 type   = "PERI"
40                                 base   = "0x92000000" 
41                                 length = "0x00001000" />
42
43                        <pseg    name   = "PSEG_DMA" 
44                                 type   = "PERI"
45                                 base   = "0x93000000" 
46                                 length = "0x00001000" />
47
48                        <pseg    name   = "PSEG_FBF" 
49                                 type   = "PERI"
50                                 base   = "0x96000000" 
51                                 length = "0x00004000" />
52
53                        <pseg    name   = "PSEG_ICU" 
54                                 type   = "PERI"
55                                 base   = "0x9F000000" 
56                                 length = "0x00001000" />
57                         <proc    index  = "0" >
58                         </proc>
59                         <proc    index  = "1" >
60                         </proc>
61                         <proc    index  = "2" >
62                         </proc>
63                         <proc    index  = "3" >
64                         </proc>
65                </cluster>
66        </clusterset>
67
68        <globalset> 
69                <vseg   name      = "seg_boot_code_data" 
70                        vbase     = "0xbfc00000" 
71                        mode      = "CX__" 
72                                                clusterid = "0"
73                        psegname  = "PSEG_ROM" 
74                        ident     = "1" >
75                                            <vobj   name        = "seg_boot"
76                                                        type    = "ELF"
77                                                        length  = "0x00008000" 
78                                                        binpath = "build/boot.elf" />
79                                </vseg>
80
81                <vseg   name      = "seg_boot_stack"
82                        vbase     = "0xbfc08000" 
83                        mode      = "C_W_"
84                                                clusterid = "0"
85                        psegname  = "PSEG_ROM"
86                        ident     = "1" >
87                                        <vobj   name    = "boot_stack"
88                                                        type    = "BUFFER"
89                                                        length  = "0x00004000" />
90                                </vseg>
91
92                <vseg   name      = "seg_boot_mapping"
93                        vbase     = "0xbfc0c000" 
94                        mode      = "C_W_"
95                                                clusterid = "0"
96                        psegname  = "PSEG_ROM"
97                        ident     = "1" >
98                                        <vobj   name    = "seg_mapping"
99                                                        type    = "BLOB"
100                                                        length  = "0x00004000" 
101                                                        binpath = "map.bin" />
102                                </vseg>
103
104                <vseg   name      = "seg_kernel_code"
105                        vbase     = "0x80000000" 
106                        mode      = "CX__" 
107                                                clusterid = "0"
108                        psegname  = "PSEG_RAU"
109                        ident     = "0" >
110                                        <vobj   name    = "seg_kernel_code"
111                                                        type    = "ELF"
112                                                        length  = "0x00010000" 
113                                                        binpath = "build/sys.elf"
114                                                        />
115                                </vseg>
116
117                <vseg   name      = "seg_kernel_data"
118                        vbase     = "0x80010000" 
119                        mode      = "C_W_" 
120                                                clusterid = "0"
121                        psegname  = "PSEG_RAU"
122                        ident     = "O" >
123                                        <vobj   name    = "seg_kernel_data"
124                                                        type    = "ELF"
125                                                        length  = "0x00040000" 
126                                                        binpath = "build/sys.elf" />
127                                </vseg>
128
129                <vseg   name      = "seg_kernel_uncdata"
130                        vbase     = "0x80080000" 
131                        mode      = "__W_"
132                                                clusterid = "0"
133                        psegname  = "PSEG_RAU"
134                        ident     = "0" >
135                                            <vobj   name        = "seg_kernel_uncdata"
136                                                        type    = "ELF"
137                                                            length  = "0x00010000" 
138                                                        binpath = "build/sys.elf" />
139                                </vseg>
140
141                <vseg   name      = "seg_kernel_init"
142                        vbase     = "0x80090000" 
143                        mode      = "CX__"
144                                                clusterid = "0"
145                        psegname  = "PSEG_RAU"
146                        ident     = "0" >
147                                        <vobj   name    = "seg_kernel_init"
148                                                        type    = "ELF"
149                                                        length  = "0x00010000" 
150                                                        binpath = "build/sys.elf" />
151                                </vseg>
152
153
154                <vseg   name      = "seg_tty"
155                        vbase     = "0x90000000" 
156                        mode      = "__W_"
157                                                clusterid = "0"
158                        psegname  = "PSEG_TTY"
159                        ident     = "1" >
160                                        <vobj   name    = "tty"
161                                                        type    = "PERI"
162                                                        length  = "0x00001000" />
163                                </vseg>
164
165                <vseg   name      = "seg_timer"
166                        vbase     = "0x91000000" 
167                        mode      = "__W_"
168                                                clusterid = "0"
169                        psegname  = "PSEG_TIM"
170                        ident     = "1" >
171                                        <vobj   name    = "timer"
172                                                        type    = "PERI"
173                                                        length  = "0x00001000" />
174                                </vseg>
175
176                <vseg   name      = "seg_ioc"
177                        vbase     = "0x92000000" 
178                        mode      = "__W_"
179                                                clusterid = "0"
180                        psegname  = "PSEG_IOC"
181                        ident     = "1" >
182                                        <vobj   name    = "ioc"
183                                                        type    = "PERI"
184                                                        length  = "0x00000020" />
185                                </vseg>
186
187                <vseg   name      = "seg_dma"
188                        vbase     = "0x93000000" 
189                        mode      = "__W_"
190                                                clusterid = "0"
191                        psegname  = "PSEG_DMA"
192                        ident     = "1" >
193                                        <vobj   name    = "dma"
194                                                        type    = "PERI"
195                                                        length  = "0x00001000" />
196                                </vseg>
197
198                <vseg   name      = "seg_fb"
199                        vbase     = "0x96000000" 
200                        mode      = "__W_"
201                                                clusterid = "0"
202                        psegname  = "PSEG_FBF"
203                        ident     = "1" >
204                                        <vobj   name    = "fb"
205                                                        type    = "PERI"
206                                                        length  = "0x00004000" />
207                                </vseg>
208
209                <vseg   name      = "seg_icu"
210                        vbase     = "0x9F000000" 
211                        mode      = "__W_"
212                                                clusterid = "0"
213                        psegname  = "PSEG_ICU"
214                        ident     = "1" >
215                                        <vobj   name    = "icu"
216                                                        type    = "PERI"
217                                                        length  = "0x00000100" />
218                                </vseg>
219          </globalset> 
220
221          <vspaceset>
222                <vspace name      = "router"
223                        startname = "seg_data_router" >
224
225                        <vseg   name      = "seg_data_router"
226                                vbase     = "0x00800000" 
227                                mode      = "__WU"
228                                                                clusterid = "0"
229                                psegname  = "PSEG_RAU" >
230                                                            <vobj   name        = "seg_data_router"
231                                                                        type    = "ELF"
232                                                                        length  = "0x00010000" 
233                                        binpath = "build/router.elf" />
234                                                </vseg>
235
236                        <vseg   name      = "seg_code_router"
237                                vbase     = "0x00400000" 
238                                mode      = "CX_U"
239                                                                clusterid = "0"
240                                psegname  = "PSEG_RAU" >
241                                                            <vobj   name        = "seg_code_router"
242                                                                        type    = "ELF"
243                                                                            length  = "0x00010000" 
244                                        binpath = "build/router.elf" />
245                                                </vseg>
246
247                        <vseg   name      = "seg_ptab"
248                                vbase     = "0x00300000" 
249                                mode      = "C___"
250                                                                clusterid = "0"
251                                psegname  = "PSEG_RAU" >
252                                <vobj   name    = "ptab_router"
253                                        type    = "PTAB"
254                                        length  = "0x00012000" 
255                                        align   = "13" />
256                        </vseg>
257
258                        <vseg   name      = "seg_stack_producer"
259                                                vbase     = "0x00010000" 
260                                mode      = "C_WU"
261                                                                clusterid = "0"
262                                psegname  = "PSEG_RAU" >
263                                                            <vobj   name        = "stack_producer"
264                                                                        type    = "BUFFER"
265                                                                            length  = "0x00010000" />
266                                                </vseg>
267
268                        <vseg   name      = "seg_stack_consumer"
269                                                vbase     = "0x00020000" 
270                                mode      = "C_WU"
271                                                                clusterid = "0"
272                                psegname  = "PSEG_RAU" >
273                                                            <vobj   name        = "stack_consumer"
274                                                                        type    = "BUFFER"
275                                                                            length  = "0x00010000" />
276                                                </vseg>
277
278                        <vseg   name      = "seg_stack_router_A"
279                                                vbase     = "0x00030000" 
280                                mode      = "C_WU"
281                                                                clusterid = "0"
282                                psegname  = "PSEG_RAU" >
283                                                            <vobj   name        = "stack_router_A"
284                                                                        type    = "BUFFER"
285                                                                            length  = "0x00010000" />
286                                                </vseg>
287
288                        <vseg   name      = "seg_stack_router_B"
289                                                vbase     = "0x00040000" 
290                                mode      = "C_WU"
291                                                                clusterid = "0"
292                                psegname  = "PSEG_RAU" >
293                                                            <vobj   name        = "stack_router_B"
294                                                                        type    = "BUFFER"
295                                                                            length  = "0x00010000" />
296                                                </vseg>
297
298                        <vseg   name      = "seg_mwmr_channels"
299                                vbase     = "0x00050000"
300                                mode      = "__WU"
301                                                                clusterid = "0"
302                                psegname  = "PSEG_RAU" >
303                                                            <vobj   name        = "mwmr_in"
304                                                                        type    = "MWMR"
305                                                                            length  = "0x00000020" 
306                                                                            init    = "1" />
307                                                            <vobj   name        = "mwmr_out"
308                                                                        type    = "MWMR"
309                                                                            length  = "0x00000020" 
310                                                                            init    = "1" />
311                                                </vseg>
312
313                        <task   name      = "producer"
314                                clusterid = "0"
315                                proclocid = "0"
316                                stackname = "stack_producer"
317                                startid   = "0"
318                                usetty    = "1" />
319
320                        <task   name      = "consumer"
321                                clusterid = "0"
322                                proclocid = "1"
323                                stackname = "stack_consumer"
324                                startid   = "1" 
325                                usetty    = "1" />
326
327                        <task   name      = "router_A"
328                                clusterid = "0"
329                                proclocid = "2"
330                                stackname = "stack_router_A"
331                                startid   = "2"
332                                usetty    = "1" />
333
334                        <task   name      = "router_B"
335                                clusterid = "0"
336                                proclocid = "3"
337                                stackname = "stack_router_B"
338                                startid   = "2"
339                                usetty    = "1" />
340                </vspace>
341
342                <vspace name      = "hello" 
343                        startname = "seg_data_hello" >
344
345                        <vseg   name      = "seg_data_hello"
346                                vbase     = "0x00800000" 
347                                mode      = "C_WU"
348                                                                clusterid = "0"
349                                psegname  = "PSEG_RAU" >
350                                                            <vobj   name        = "seg_data_hello"
351                                                                        type    = "ELF"
352                                                                            length    = "0x00010000" 
353                                        binpath = "build/hello.elf" />
354                                                </vseg>
355
356                        <vseg   name      = "seg_code_hello"
357                                vbase     = "0x00400000" 
358                                mode      = "CX_U"
359                                                                clusterid = "0"
360                                psegname  = "PSEG_RAU" >
361                                                            <vobj   name        = "seg_code_hello"
362                                                                        type    = "ELF"
363                                                                            length    = "0x00010000" 
364                                        binpath = "build/hello.elf" />
365                                                </vseg>
366
367                        <vseg   name      = "seg_ptab"
368                                vbase     = "0x00300000" 
369                                mode      = "C___"
370                                                                clusterid = "0"
371                                psegname  = "PSEG_RAU" >
372                                <vobj   name    = "ptab"
373                                        type    = "PTAB"
374                                        length  = "0x00012000" 
375                                        align   = "13" />
376                        </vseg>
377
378                        <vseg   name      = "seg_stack"
379                                vbase     = "0x00000000" 
380                                mode      = "C_WU"
381                                                                clusterid = "0"
382                                psegname  = "PSEG_RAU" >
383                                                            <vobj   name        = "stack"
384                                                                        type    = "BUFFER"
385                                                                            length  = "0x00010000" />
386                                                </vseg>
387
388
389                        <task   name      = "main_hello"
390                                clusterid = "0"
391                                proclocid = "2"
392                                stackname = "stack"
393                                startid   = "0" 
394                                usetty    = "1" />
395                </vspace>
396
397                <vspace name      = "pgcd" 
398                        startname = "seg_data_pgcd" >
399
400                        <vseg   name      = "seg_data_pgcd"
401                                vbase     = "0x00800000" 
402                                mode      = "C_WU"
403                                                                clusterid = "0"
404                                psegname  = "PSEG_RAU" >
405                                                            <vobj   name        = "seg_data_pgcd"
406                                                                        type    = "ELF"
407                                                                            length  = "0x00010000" 
408                                        binpath = "build/pgcd.elf" />
409                                                </vseg>
410
411                        <vseg   name      = "seg_ptab"
412                                vbase     = "0x00300000" 
413                                mode      = "C___"
414                                                                clusterid = "0"
415                                psegname  = "PSEG_RAU" >
416                                <vobj   name    = "ptab"
417                                        type    = "PTAB"
418                                        length  = "0x00012000" 
419                                        align   = "13" />
420                        </vseg>
421
422                        <vseg   name      = "seg_code_pgcd"
423                                vbase     = "0x00400000" 
424                                mode      = "CX_U"
425                                                                clusterid = "0"
426                                psegname  = "PSEG_RAU" >
427                                                            <vobj   name        = "seg_code_pgcd"
428                                                                        type    = "ELF"
429                                                                            length  = "0x00010000" 
430                                        binpath = "build/pgcd.elf" />
431                                                </vseg>
432
433                        <vseg   name      = "seg_stack"
434                                vbase     = "0x00000000" 
435                                mode      = "C_WU"
436                                                                clusterid = "0"
437                                psegname  = "PSEG_RAU" >
438                                                            <vobj   name        = "stack"
439                                                                        type    = "BUFFER"
440                                                                            length  = "0x00010000" />
441                                                </vseg>
442
443                        <task   name      = "main_pgcd"
444                                clusterid = "0"
445                                proclocid = "3"
446                                stackname = "stack"
447                                startid   = "0" 
448                                usetty    = "1" />
449                </vspace>
450
451                <vspace name      = "display" 
452                        startname = "seg_data_display" >
453
454                        <vseg   name      = "seg_data_display"
455                                vbase     = "0x00800000" 
456                                mode      = "C_WU"
457                                                                clusterid = "0"
458                                psegname  = "PSEG_RAU" >
459                                                            <vobj   name        = "seg_data_display"
460                                                                        type    = "ELF"
461                                                                            length  = "0x00010000" 
462                                        binpath = "build/display.elf" />
463                                                </vseg>
464
465                        <vseg   name      = "seg_ptab_display"
466                                vbase     = "0x00300000" 
467                                mode      = "C___"
468                                                                clusterid = "0"
469                                psegname  = "PSEG_RAU" >
470                                <vobj   name    = "ptab"
471                                        type    = "PTAB"
472                                        length  = "0x00012000" 
473                                        align   = "13" />
474                        </vseg>
475
476                        <vseg   name      = "seg_code_display"
477                                vbase     = "0x00400000" 
478                                mode      = "CX_U"
479                                                                clusterid = "0"
480                                psegname  = "PSEG_RAU" >
481                                                            <vobj   name        = "seg_code_display"
482                                                                        type    = "ELF"
483                                                                            length  = "0x00010000" 
484                                        binpath = "build/display.elf" />
485                                                </vseg>
486
487                        <vseg   name      = "seg_stack_display"
488                                vbase     = "0x00000000" 
489                                mode      = "C_WU"
490                                                                clusterid = "0"
491                                psegname  = "PSEG_RAU" >
492                                                            <vobj   name        = "stack_display"
493                                                                        type    = "BUFFER"
494                                                                            length  = "0x00010000" />
495                                                </vseg>
496
497                        <task   name      = "main_display"
498                                clusterid = "0"
499                                proclocid = "3"
500                                stackname = "stack_display"
501                                startid   = "0" 
502                                usetty    = "1"
503                                usefb     = "1" />
504                </vspace>
505
506          </vspaceset>
507</mapping_info>
Note: See TracBrowser for help on using the repository browser.