source: soft/giet_vm/mappings/exemple.xml @ 232

Last change on this file since 232 was 232, checked in by meunier, 11 years ago

Ajout du malloc dans le Giet.

File size: 27.5 KB
Line 
1<?xml version="1.0"?>
2
3<mapping_info   signature = "0xdeadbeef" 
4                name     = "1C_4P_FOUR"
5                vspaces  = "4" 
6                cluster_x = "1"
7                cluster_y = "1" >
8
9        <clusterset>
10                <cluster index  = "0" >
11                         <pseg    name   = "PSEG_ROM" 
12                                  type   = "ROM"
13                                  base   = "0xbfc00000" 
14                                  length = "0x00010000" />
15
16                         <pseg    name   = "PSEG_RAM" 
17                                  type   = "RAM"
18                                  base   = "0x01000000" 
19                                  length = "0x01000000" />
20
21                         <pseg    name   = "PSEG_TTY"
22                                  type   = "PERI"
23                                  base   = "0x90000000" 
24                                  length = "0x00001000" />
25
26                         <pseg    name   = "PSEG_TIM" 
27                                  type   = "PERI"
28                                  base   = "0x90100000" 
29                                  length = "0x00001000" />
30
31                         <pseg    name   = "PSEG_IOC" 
32                                  type   = "PERI"
33                                  base   = "0x90200000" 
34                                  length = "0x00001000" />
35
36                         <pseg    name   = "PSEG_DMA" 
37                                  type   = "PERI"
38                                  base   = "0x90300000" 
39                                  length = "0x00001000" />
40
41                         <pseg    name   = "PSEG_FBF" 
42                                  type   = "PERI"
43                                  base   = "0x90600000" 
44                                  length = "0x00004000" />
45
46                         <pseg    name   = "PSEG_ICU" 
47                                  type   = "PERI"
48                                  base   = "0x90700000" 
49                                  length = "0x00001000" />
50
51                         <pseg    name   = "PSEG_COP" 
52                                  type   = "PERI"
53                                  base   = "0x90800000" 
54                                  length = "0x00001000" />
55
56                         <proc    index  = "0" >
57                                  <irq   type    = "HARD"
58                                         icuid   = "0"
59                                         isr     = "ISR_SWITCH" />
60
61                                  <irq   type    = "HARD"
62                                         icuid   = "8"
63                                         isr     = "ISR_DMA"
64                                         channel = "0" />
65
66                                  <irq   type    = "HARD"
67                                         icuid   = "9"
68                                         isr     = "ISR_DMA"
69                                         channel = "1" />
70
71                                  <irq   type    = "HARD"
72                                         icuid   = "10"
73                                         isr     = "ISR_DMA"
74                                         channel = "2" />
75
76                                  <irq   type    = "HARD"
77                                         icuid   = "11"
78                                         isr     = "ISR_DMA"
79                                         channel = "3" />
80
81                                  <irq   type    = "HARD"
82                                         icuid   = "12"
83                                         isr     = "ISR_DMA"
84                                         channel = "4" />
85
86                                  <irq   type    = "HARD"
87                                         icuid   = "13"
88                                         isr     = "ISR_DMA"
89                                         channel = "5" />
90
91                                  <irq   type    = "HARD"
92                                         icuid   = "14"
93                                         isr     = "ISR_DMA"
94                                         channel = "6" />
95
96                                  <irq   type    = "HARD"
97                                         icuid   = "15"
98                                         isr     = "ISR_DMA"
99                                         channel = "7" />
100
101                                  <irq   type    = "HARD"
102                                         icuid   = "16"
103                                         isr     = "ISR_TTY"
104                                         channel = "0" />
105
106                                  <irq   type    = "HARD"
107                                         icuid   = "17"
108                                         isr     = "ISR_TTY"
109                                         channel = "1" />
110
111                                  <irq   type    = "HARD"
112                                         icuid   = "18"
113                                         isr     = "ISR_TTY"
114                                         channel = "2" />
115
116                                  <irq   type    = "HARD"
117                                         icuid   = "19"
118                                         isr     = "ISR_TTY"
119                                         channel = "3" />
120
121                                  <irq   type    = "HARD"
122                                         icuid   = "20"
123                                         isr     = "ISR_TTY"
124                                         channel = "4" />
125
126                                  <irq   type    = "HARD"
127                                         icuid   = "21"
128                                         isr     = "ISR_TTY"
129                                         channel = "5" />
130
131                                  <irq   type    = "HARD"
132                                         icuid   = "22"
133                                         isr     = "ISR_TTY"
134                                         channel = "6" />
135
136                                  <irq   type    = "HARD"
137                                         icuid   = "23"
138                                         isr     = "ISR_TTY"
139                                         channel = "7" />
140
141                                  <irq   type    = "HARD"
142                                         icuid   = "24"
143                                         isr     = "ISR_TTY"
144                                         channel = "8" />
145
146                                  <irq   type    = "HARD"
147                                         icuid   = "25"
148                                         isr     = "ISR_TTY"
149                                         channel = "9" />
150
151                                  <irq   type    = "HARD"
152                                         icuid   = "26"
153                                         isr     = "ISR_TTY"
154                                         channel = "10" />
155
156                                  <irq   type    = "HARD"
157                                         icuid   = "27"
158                                         isr     = "ISR_TTY"
159                                         channel = "11" />
160
161                                  <irq   type    = "HARD"
162                                         icuid   = "28"
163                                         isr     = "ISR_TTY"
164                                         channel = "12" />
165
166                                  <irq   type    = "HARD"
167                                         icuid   = "29"
168                                         isr     = "ISR_TTY"
169                                         channel = "13" />
170
171                                  <irq   type    = "HARD"
172                                         icuid   = "30"
173                                         isr     = "ISR_TTY"
174                                         channel = "14" />
175
176                                  <irq   type    = "HARD"
177                                         icuid   = "31"
178                                         isr     = "ISR_IOC" />
179                         </proc>
180
181                         <proc    index  = "1" >
182                                  <irq   type    = "HARD"
183                                         icuid   = "1"
184                                         isr     = "ISR_SWITCH" />
185                         </proc>
186
187                         <proc    index  = "2" >
188                                  <irq   type    = "HARD"
189                                         icuid   = "2"
190                                         isr     = "ISR_SWITCH" />
191                         </proc>
192
193                         <proc    index  = "3" >
194                                  <irq   type    = "HARD"
195                                         icuid   = "3"
196                                         isr     = "ISR_SWITCH" />
197                         </proc>
198
199                         <periph  type      = "IOC" 
200                                  psegname  = "PSEG_IOC"
201                                  channels  = "1" />
202
203                         <periph  type      = "TTY" 
204                                  psegname  = "PSEG_TTY"
205                                  channels  = "2" />
206   
207                         <periph  type      = "DMA" 
208                                  psegname  = "PSEG_DMA"
209                                  channels  = "1" />
210   
211                         <periph  type      = "TIM"
212                                  psegname  = "PSEG_TIM"
213                                  channels  = "8" />
214
215                         <periph  type      = "ICU"
216                                  psegname  = "PSEG_ICU"
217                                  channels  = "8" />
218
219                         <periph  type      = "FBF"
220                                  psegname  = "PSEG_FBF" />
221
222                         <coproc  name     = "COP0" 
223                                  psegname = "PSEG_COP" >
224
225                                  <port    direction  = "TO_COPROC"
226                                           vspacename = "router"
227                                           vobjname   = "mwmr_in" />
228
229                                  <port    direction  = "FROM_COPROC"
230                                           vspacename = "router"
231                                           vobjname   = "mwmr_out" />
232                         </coproc>
233                </cluster>
234        </clusterset>
235
236        <globalset> 
237                <vseg   name      = "seg_boot_code_data" 
238                        vbase     = "0xbfc00000" 
239                        mode      = "CXW_" 
240                        clusterid = "0"
241                        psegname  = "PSEG_ROM" 
242                        ident     = "1" >
243                                            <vobj   name        = "seg_boot"
244                                                        type    = "ELF"
245                                                        length  = "0x00008000" 
246                                                        binpath = "build/boot/boot.elf" />
247                                </vseg>
248
249                <vseg   name      = "seg_boot_stack"
250                        vbase     = "0xbfc08000" 
251                        mode      = "C_W_"
252                        clusterid = "0"
253                        psegname  = "PSEG_ROM"
254                        ident     = "1" >
255                                        <vobj   name    = "boot_stack"
256                                                        type    = "BUFFER"
257                                                        length  = "0x00004000" />
258                                </vseg>
259
260                <vseg   name      = "seg_boot_mapping"
261                        vbase     = "0xbfc0c000" 
262                        mode      = "C_W_"
263                        clusterid = "0"
264                        psegname  = "PSEG_ROM"
265                        ident     = "1" >
266                                        <vobj   name    = "seg_mapping"
267                                                        type    = "BLOB"
268                                                        length  = "0x00004000" 
269                                                        binpath = "map.bin" />
270                                </vseg>
271
272                <vseg   name      = "seg_kernel_code"
273                        vbase     = "0x80000000" 
274                        mode      = "CX__" 
275                        clusterid = "0"
276                        psegname  = "PSEG_RAM" >
277                                            <vobj   name        = "seg_kernel_code"
278                                                        type    = "ELF"
279                                                            length  = "0x00010000" 
280                                                            binpath     = "build/sys/sys.elf" />
281                                </vseg>
282
283                <vseg   name      = "seg_kernel_data"
284                        vbase     = "0x80010000" 
285                        mode      = "C_W_" 
286                        clusterid = "0"
287                        psegname  = "PSEG_RAM" >
288                                        <vobj   name    = "seg_kernel_data"
289                                                        type    = "ELF"
290                                                        length  = "0x00040000" 
291                                                        binpath = "build/sys/sys.elf" />
292                                </vseg>
293
294                <vseg   name      = "seg_kernel_uncdata"
295                        vbase     = "0x80080000" 
296                        mode      = "__W_"
297                        clusterid = "0"
298                        psegname  = "PSEG_RAM" >
299                                            <vobj   name        = "seg_kernel_uncdata"
300                                                        type    = "ELF"
301                                                            length  = "0x00010000" 
302                                                        binpath = "build/sys/sys.elf" />
303                                </vseg>
304
305                <vseg   name      = "seg_kernel_init"
306                        vbase     = "0x80090000" 
307                        mode      = "CX__"
308                        clusterid = "0"
309                        psegname  = "PSEG_RAM" >
310                                        <vobj   name    = "seg_kernel_init"
311                                                        type    = "ELF"
312                                                        length  = "0x00010000" 
313                                                        binpath = "build/sys/sys.elf" />
314                                </vseg>
315
316
317                <vseg   name      = "seg_tty"
318                        vbase     = "0x90000000" 
319                        mode      = "__W_"
320                        clusterid = "0"
321                        psegname  = "PSEG_TTY" >
322                                        <vobj   name    = "tty"
323                                                        type    = "PERI"
324                                                        length  = "0x00001000" />
325                                </vseg>
326
327                <vseg   name      = "seg_timer"
328                        vbase     = "0x91000000" 
329                        mode      = "__W_"
330                        clusterid = "0"
331                        psegname  = "PSEG_TIM" >
332                                        <vobj   name    = "timer"
333                                                        type    = "PERI"
334                                                        length  = "0x00001000" />
335                                </vseg>
336
337                <vseg   name      = "seg_ioc"
338                        vbase     = "0x92000000" 
339                        mode      = "__W_"
340                        clusterid = "0"
341                        psegname  = "PSEG_IOC" >
342                                        <vobj   name    = "ioc"
343                                                        type    = "PERI"
344                                                        length  = "0x00000020" />
345                                </vseg>
346
347                <vseg   name      = "seg_dma"
348                        vbase     = "0x93000000" 
349                        mode      = "__W_"
350                        clusterid = "0"
351                        psegname  = "PSEG_DMA" >
352                                        <vobj   name    = "dma"
353                                                        type    = "PERI"
354                                                        length  = "0x00001000" />
355                                </vseg>
356
357                <vseg   name      = "seg_fb"
358                        vbase     = "0x96000000" 
359                        mode      = "__W_"
360                        clusterid = "0"
361                        psegname  = "PSEG_FBF" >
362                                        <vobj   name    = "fb"
363                                                        type    = "PERI"
364                                                        length  = "0x00004000" />
365                                </vseg>
366
367                <vseg   name      = "seg_icu"
368                        vbase     = "0x9F000000" 
369                        mode      = "__W_"
370                        clusterid = "0"
371                        psegname  = "PSEG_ICU" >
372                                        <vobj   name    = "icu"
373                                                        type    = "PERI"
374                                                        length  = "0x00000100" />
375                                </vseg>
376          </globalset> 
377
378          <vspaceset>
379                <vspace name      = "router"
380                        startname = "seg_data_router" >
381
382                        <vseg   name      = "seg_data_router"
383                                vbase     = "0x00800000" 
384                                mode      = "__WU"
385                                clusterid = "0"
386                                psegname  = "PSEG_RAM" >
387                                                            <vobj   name        = "seg_data_router"
388                                                                        type    = "ELF"
389                                                                        length  = "0x00010000" 
390                                        binpath = "build/router/router.elf" />
391                                                </vseg>
392
393                        <vseg   name      = "seg_code_router"
394                                vbase     = "0x00400000" 
395                                mode      = "CX_U"
396                                clusterid = "0"
397                                psegname  = "PSEG_RAM" >
398                                                            <vobj   name        = "seg_code_router"
399                                                                        type    = "ELF"
400                                                                            length  = "0x00010000" 
401                                        binpath = "build/router/router.elf" />
402                                                </vseg>
403
404                        <vseg   name      = "seg_ptab"
405                                vbase     = "0x00300000" 
406                                mode      = "C___"
407                                clusterid = "0"
408                                psegname  = "PSEG_RAM" >
409                                <vobj   name    = "ptab_router"
410                                        type    = "PTAB"
411                                        length  = "0x00012000" 
412                                        align   = "13" />
413                        </vseg>
414
415                        <vseg   name      = "seg_stack_producer"
416                                                vbase     = "0x00010000" 
417                                mode      = "C_WU"
418                                clusterid = "0"
419                                psegname  = "PSEG_RAM" >
420                                                            <vobj   name        = "stack_producer"
421                                                                        type    = "BUFFER"
422                                                                            length  = "0x00010000" />
423                         <vobj   name   = "heap_producer"
424                                                                        type    = "BUFFER"
425                                                                            length  = "0x00010000" />
426
427                                                </vseg>
428
429                        <vseg   name      = "seg_stack_consumer"
430                                                vbase     = "0x00030000" 
431                                mode      = "C_WU"
432                                clusterid = "0"
433                                psegname  = "PSEG_RAM" >
434                                                            <vobj   name        = "stack_consumer"
435                                                                        type    = "BUFFER"
436                                                                            length  = "0x00010000" />
437                         <vobj   name   = "heap_consumer"
438                                                                        type    = "BUFFER"
439                                                                            length  = "0x00010000" />
440
441                                                </vseg>
442
443                        <vseg   name      = "seg_stack_router_A"
444                                                vbase     = "0x00050000" 
445                                mode      = "C_WU"
446                                clusterid = "0"
447                                psegname  = "PSEG_RAM" >
448                                                            <vobj   name        = "stack_router_A"
449                                                                        type    = "BUFFER"
450                                                                            length  = "0x00010000" />
451                         <vobj   name   = "heap_router_A"
452                                                                        type    = "BUFFER"
453                                                                            length  = "0x00010000" />
454
455                                                </vseg>
456
457                        <vseg   name      = "seg_stack_router_B"
458                                                vbase     = "0x00070000" 
459                                mode      = "C_WU"
460                                clusterid = "0"
461                                psegname  = "PSEG_RAM" >
462                                                            <vobj   name        = "stack_router_B"
463                                                                        type    = "BUFFER"
464                                                                            length  = "0x00010000" />
465                                                            <vobj   name        = "heap_router_B"
466                                                                        type    = "BUFFER"
467                                                                            length  = "0x00010000" />
468
469                                                </vseg>
470
471                        <vseg   name      = "seg_mwmr_channels"
472                                vbase     = "0x00090000"
473                                mode      = "__WU"
474                                clusterid = "0"
475                                psegname  = "PSEG_RAM" >
476                                                            <vobj   name        = "mwmr_in"
477                                                                        type    = "MWMR"
478                                                                            length  = "0x00000020"
479                                        init    = "1" />
480                                                            <vobj   name        = "mwmr_out"
481                                                                        type    = "MWMR"
482                                                                            length  = "0x00000020"
483                                        init    = "1" />
484                                                </vseg>
485
486                        <task   name      = "producer"
487                                clusterid = "0"
488                                proclocid = "0"
489                                stackname = "stack_producer"
490                                heapname  = "heap_producer"
491                                startid   = "0"
492                                usetty    = "1" />
493
494                        <task   name      = "consumer"
495                                clusterid = "0"
496                                proclocid = "1"
497                                stackname = "stack_consumer"
498                                heapname  = "heap_consumer"
499                                startid   = "1" 
500                                usetty    = "1" />
501
502                        <task   name      = "router_A"
503                                clusterid = "0"
504                                proclocid = "2"
505                                stackname = "stack_router_A"
506                                heapname  = "heap_router_A"
507                                startid   = "2"
508                                usetty    = "1" />
509
510                        <task   name      = "router_B"
511                                clusterid = "0"
512                                proclocid = "3"
513                                stackname = "stack_router_B"
514                                heapname  = "heap_router_B"
515                                startid   = "2"
516                                usetty    = "1" />
517                </vspace>
518
519                <vspace name      = "hello" 
520                        startname = "seg_data_hello" >
521
522                        <vseg   name      = "seg_data_hello"
523                                vbase     = "0x00800000" 
524                                mode      = "C_WU"
525                                clusterid = "0"
526                                psegname  = "PSEG_RAM" >
527                                                            <vobj   name        = "seg_data_hello"
528                                                                        type    = "ELF"
529                                                                            length    = "0x00010000" 
530                                        binpath = "build/hello/hello.elf" />
531                                                </vseg>
532
533                        <vseg   name      = "seg_code_hello"
534                                vbase     = "0x00400000" 
535                                mode      = "CX_U"
536                                clusterid = "0"
537                                psegname  = "PSEG_RAM" >
538                                                            <vobj   name        = "seg_code_hello"
539                                                                        type    = "ELF"
540                                                                            length    = "0x00010000" 
541                                        binpath = "build/hello/hello.elf" />
542                                                </vseg>
543
544                        <vseg   name      = "seg_ptab"
545                                vbase     = "0x00300000" 
546                                mode      = "C___"
547                                clusterid = "0"
548                                psegname  = "PSEG_RAM" >
549                                <vobj   name    = "ptab"
550                                        type    = "PTAB"
551                                        length  = "0x00012000" 
552                                        align   = "13" />
553                        </vseg>
554
555                        <vseg   name      = "seg_stack"
556                                vbase     = "0x00000000" 
557                                mode      = "C_WU"
558                                clusterid = "0"
559                                psegname  = "PSEG_RAM" >
560                                                            <vobj   name        = "stack"
561                                                                        type    = "BUFFER"
562                                                                            length  = "0x00010000" />
563                                                </vseg>
564
565
566                        <task   name      = "main_hello"
567                                clusterid = "0"
568                                proclocid = "2"
569                                stackname = "stack"
570                                startid   = "0" 
571                                usetty    = "1" />
572                </vspace>
573
574                <vspace name      = "pgcd" 
575                        startname = "seg_data_pgcd" >
576
577                        <vseg   name      = "seg_data_pgcd"
578                                vbase     = "0x00800000" 
579                                mode      = "C_WU"
580                                clusterid = "0"
581                                psegname  = "PSEG_RAM" >
582                                                            <vobj   name        = "seg_data_pgcd"
583                                                                        type    = "ELF"
584                                                                            length  = "0x00010000" 
585                                        binpath = "build/pgcd/pgcd.elf" />
586                                                </vseg>
587
588                        <vseg   name      = "seg_ptab"
589                                vbase     = "0x00300000" 
590                                mode      = "C___"
591                                clusterid = "0"
592                                psegname  = "PSEG_RAM" >
593                                <vobj   name    = "ptab"
594                                        type    = "PTAB"
595                                        length  = "0x00012000" 
596                                        align   = "13" />
597                        </vseg>
598
599                        <vseg   name      = "seg_code_pgcd"
600                                vbase     = "0x00400000" 
601                                mode      = "CX_U"
602                                clusterid = "0"
603                                psegname  = "PSEG_RAM" >
604                                                            <vobj   name        = "seg_code_pgcd"
605                                                                        type    = "ELF"
606                                                                            length  = "0x00010000" 
607                                        binpath = "build/pgcd/pgcd.elf" />
608                                                </vseg>
609
610                        <vseg   name      = "seg_stack"
611                                vbase     = "0x00000000" 
612                                mode      = "C_WU"
613                                clusterid = "0"
614                                psegname  = "PSEG_RAM" >
615                                                            <vobj   name        = "stack"
616                                                                        type    = "BUFFER"
617                                                                            length  = "0x00010000" />
618                                                </vseg>
619
620                        <task   name      = "main_pgcd"
621                                clusterid = "0"
622                                proclocid = "3"
623                                stackname = "stack"
624                                startid   = "0" 
625                                usetty    = "1" />
626                </vspace>
627
628                <vspace name      = "display" 
629                        startname = "seg_data_display" >
630
631                        <vseg   name      = "seg_data_display"
632                                vbase     = "0x00800000" 
633                                mode      = "C_WU"
634                                clusterid = "0"
635                                psegname  = "PSEG_RAM" >
636                                                            <vobj   name        = "seg_data_display"
637                                                                        type    = "ELF"
638                                                                            length  = "0x00010000" 
639                                        binpath = "build/display/display.elf" />
640                                                </vseg>
641
642                        <vseg   name      = "seg_ptab_display"
643                                vbase     = "0x00300000" 
644                                mode      = "C___"
645                                clusterid = "0"
646                                psegname  = "PSEG_RAM" >
647                                <vobj   name    = "ptab"
648                                        type    = "PTAB"
649                                        length  = "0x00012000" 
650                                        align   = "13" />
651                        </vseg>
652
653                        <vseg   name      = "seg_code_display"
654                                vbase     = "0x00400000" 
655                                mode      = "CX_U"
656                                clusterid = "0"
657                                psegname  = "PSEG_RAM" >
658                                                            <vobj   name        = "seg_code_display"
659                                                                        type    = "ELF"
660                                                                            length  = "0x00010000" 
661                                        binpath = "build/display/display.elf" />
662                                                </vseg>
663
664                        <vseg   name      = "seg_stack_display"
665                                vbase     = "0x00000000" 
666                                mode      = "C_WU"
667                                clusterid = "0"
668                                psegname  = "PSEG_RAM" >
669                                                            <vobj   name        = "stack_display"
670                                                                        type    = "BUFFER"
671                                                                            length  = "0x00010000" />
672                                                </vseg>
673
674                        <task   name      = "main_display"
675                                clusterid = "0"
676                                proclocid = "3"
677                                stackname = "stack_display"
678                                startid   = "0" 
679                                usetty    = "1"
680                                usefbdma  = "1" />
681                </vspace>
682
683          </vspaceset>
684</mapping_info>
Note: See TracBrowser for help on using the repository browser.