source: soft/giet_vm/map.xml @ 163

Last change on this file since 163 was 161, checked in by karaoui, 12 years ago

Deleting unused folders
All ELF file have the extension *.elf
Must objetc file are now dumped in the build directory

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