source: soft/giet_vm/map.xml @ 164

Last change on this file since 164 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
Line 
1<?xml version="1.0"?>
2
3<mapping_info   signature = "0xdeadbeef" 
4                name     = "c1_v2_G12"
5                clusters = "1"
6                psegs    = "9"
7                ttys     = "9"
8                vspaces  = "4" 
9                globals  = "13" >
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> 
56                <vseg   name      = "seg_boot_code_data" 
57                        vbase     = "0xbfc00000" 
58                        mode      = "CX__" 
59                        psegname  = "PSEG_ROM" 
60                        ident     = "1" >
61                                        <vobj   name    = "seg_boot"
62                                                        type    = "ELF"
63                                                        length  = "0x00008000" 
64                                                        binpath = "build/boot.elf"
65                                                        />
66                                </vseg>
67
68                <vseg   name      = "seg_boot_stack"
69                        vbase     = "0xbfc08000" 
70                        mode      = "C_W_"
71                        psegname  = "PSEG_ROM"
72                        ident     = "1" >
73                                        <vobj   name    = "boot_stack"
74                                                        type    = "BUFFER"
75                                                        length  = "0x00004000" />
76                                </vseg>
77
78                <vseg   name      = "seg_boot_mapping"
79                        vbase     = "0xbfc0c000" 
80                        mode      = "C_W_"
81                        psegname  = "PSEG_ROM"
82                        ident     = "1" >
83                                        <vobj   name    = "seg_mapping"
84                                                        type    = "ELF"
85                                                        length  = "0x00004000" 
86                                                        binpath = "map.bin"
87                                                        />
88                                </vseg>
89
90                <vseg   name      = "seg_kernel_code"
91                        vbase     = "0x80000000" 
92                        mode      = "CX__" 
93                        psegname  = "PSEG_RAK"
94                        ident     = "1" >
95                                        <vobj   name    = "seg_kernel_code"
96                                                        type    = "ELF"
97                                                        length  = "0x00010000" 
98                                                        binpath = "build/sys.elf"
99                                                        />
100                                </vseg>
101
102                <vseg   name      = "seg_kernel_data"
103                        vbase     = "0x80010000" 
104                        mode      = "C_W_" 
105                        psegname  = "PSEG_RAK"
106                        ident     = "1" >
107                                        <vobj   name    = "seg_kernel_data"
108                                                        type    = "ELF"
109                                                        length  = "0x00010000" 
110                                                        binpath = "build/sys.elf"
111                                                        />
112                                </vseg>
113
114                <vseg   name      = "seg_kernel_uncdata"
115                        vbase     = "0x80020000" 
116                        mode      = "__W_"
117                        psegname  = "PSEG_RAK"
118                        ident     = "1" >
119                                        <vobj   name    = "seg_kernel_uncdata"
120                                                        type    = "ELF"
121                                                        length  = "0x00010000" 
122                                                        binpath = "build/sys.elf"
123                                                        />
124                                </vseg>
125
126                <vseg   name      = "seg_kernel_init"
127                        vbase     = "0x80030000" 
128                        mode      = "CX__"
129                        psegname  = "PSEG_RAK"
130                        ident     = "1" >
131                                        <vobj   name    = "seg_kernel_init"
132                                                        type    = "ELF"
133                                                        length  = "0x00010000" 
134                                                        binpath = "build/sys.elf"
135                                                        />
136                                </vseg>
137
138
139                <vseg   name      = "seg_tty"
140                        vbase     = "0x90000000" 
141                        mode      = "__W_"
142                        psegname  = "PSEG_TTY"
143                        ident     = "1" >
144                                        <vobj   name    = "tty"
145                                                        type    = "PERI"
146                                                        length  = "0x00000100" />
147                                </vseg>
148
149                <vseg   name      = "seg_timer"
150                        vbase     = "0x91000000" 
151                        mode      = "__W_"
152                        psegname  = "PSEG_TIM"
153                        ident     = "1" >
154                                        <vobj   name    = "timer"
155                                                        type    = "PERI"
156                                                        length  = "0x00000080" />
157                                </vseg>
158
159                <vseg   name      = "seg_ioc"
160                        vbase     = "0x92000000" 
161                        mode      = "__W_"
162                        psegname  = "PSEG_IOC"
163                        ident     = "1" >
164                                        <vobj   name    = "ioc"
165                                                        type    = "PERI"
166                                                        length  = "0x00000020" />
167                                </vseg>
168
169                <vseg   name      = "seg_dma"
170                        vbase     = "0x93000000" 
171                        mode      = "__W_"
172                        psegname  = "PSEG_DMA"
173                        ident     = "1" >
174                                        <vobj   name    = "dma"
175                                                        type    = "PERI"
176                                                        length  = "0x00000100" />
177                                </vseg>
178
179                <vseg   name      = "seg_fb"
180                        vbase     = "0x96000000" 
181                        mode      = "__W_"
182                        psegname  = "PSEG_FBF"
183                        ident     = "1" >
184                                        <vobj   name    = "fb"
185                                                        type    = "PERI"
186                                                        length  = "0x00004000" />
187                                </vseg>
188
189                <vseg   name      = "seg_icu"
190                        vbase     = "0x9F000000" 
191                        mode      = "__W_"
192                        psegname  = "PSEG_ICU"
193                        ident     = "1" >
194                                        <vobj   name    = "icu"
195                                                        type    = "PERI"
196                                                        length  = "0x00000100" />
197                                </vseg>
198          </globalset> 
199
200          <vspaceset>
201                <vspace name    = "router"
202                        funcs   = "seg_data_router"
203                        ttys    = "4" >
204
205                        <vseg   name      = "seg_data_router"
206                                vbase     = "0x00800000" 
207                                mode      = "__WU"
208                                psegname  = "PSEG_RAU"
209                                ident     = "0" >
210                                                        <vobj   name    = "seg_data_router"
211                                                                        type    = "ELF"
212                                                                        length  = "0x00010000" 
213                                    binpath = "build/router.elf"
214                                                                        />
215                                                </vseg>
216
217                        <vseg   name      = "seg_code_router"
218                                vbase     = "0x00400000" 
219                                mode      = "CX_U"
220                                psegname  = "PSEG_RAU"
221                                ident     = "0" >
222                                                        <vobj   name    = "seg_code_router"
223                                                                        type    = "ELF"
224                                                                        length  = "0x00010000" 
225                                    binpath = "build/router.elf"
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
241                        <vseg   name      = "seg_stack_producer"
242                                                vbase     = "0x00010000" 
243                                mode      = "C_WU"
244                                psegname  = "PSEG_RAU" >
245                                                        <vobj   name    = "stack_producer"
246                                                                        type    = "BUFFER"
247                                                                        length  = "0x00010000" />
248                                                </vseg>
249
250                        <vseg   name      = "seg_stack_consumer"
251                                                vbase     = "0x00020000" 
252                                mode      = "C_WU"
253                                psegname  = "PSEG_RAU" >
254                                                        <vobj   name    = "stack_consumer"
255                                                                        type    = "BUFFER"
256                                                                        length  = "0x00010000" />
257                                                </vseg>
258
259                        <vseg   name      = "seg_stack_router_A"
260                                                vbase     = "0x00030000" 
261                                mode      = "C_WU"
262                                psegname  = "PSEG_RAU" >
263                                                        <vobj   name    = "stack_router_A"
264                                                                        type    = "BUFFER"
265                                                                        length  = "0x00010000" />
266                                                </vseg>
267
268                        <vseg   name      = "seg_stack_router_B"
269                                                vbase     = "0x00040000" 
270                                mode      = "C_WU"
271                                psegname  = "PSEG_RAU" >
272                                                        <vobj   name    = "stack_router_B"
273                                                                        type    = "BUFFER"
274                                                                        length  = "0x00010000" />
275                                                </vseg>
276
277                        <vseg   name      = "seg_mwmr_in"
278                                vbase     = "0x00050000"
279                                mode      = "__WU"
280                                psegname  = "PSEG_RAU" >
281                                                        <vobj   name    = "mwmr_in"
282                                                                        type    = "MWMR"
283                                                                        length  = "0x00000020"/>
284                                                </vseg>
285
286                        <vseg   name      = "seg_mwmr_out"
287                                vbase     = "0x00060000"
288                                mode      = "__WU"
289                                psegname  = "PSEG_RAU">
290                                                        <vobj   name    = "mwmr_out"
291                                                                        type    = "MWMR"
292                                                                        length  = "0x00000020"/>
293                                                </vseg>
294
295                        <task   name      = "producer"
296                                clusterid = "0"
297                                proclocid = "0"
298                                stackname = "stack_producer"
299                                startid   = "0"
300                                ttylocid  = "0" />
301                        <task   name      = "consumer"
302                                clusterid = "0"
303                                proclocid = "1"
304                                stackname = "stack_consumer"
305                                startid   = "1" 
306                                ttylocid  = "1" />
307                        <task   name      = "router_A"
308                                clusterid = "0"
309                                proclocid = "2"
310                                stackname = "stack_router_A"
311                                startid   = "2"
312                                ttylocid  = "2" />
313                        <task   name      = "router_B"
314                                clusterid = "0"
315                                proclocid = "3"
316                                stackname = "stack_router_B"
317                                startid   = "2"
318                                ttylocid  = "3" />
319                </vspace>
320
321                <vspace name    = "hello" 
322                        funcs   = "seg_data_hello"
323                        ttys    = "1" >
324
325                        <vseg   name      = "seg_data_hello"
326                                vbase     = "0x00800000" 
327                                mode      = "C_WU"
328                                psegname  = "PSEG_RAU"
329                                ident     = "0" >
330                                                        <vobj   name    = "seg_data_hello"
331                                                                        type    = "ELF"
332                                                                        length    = "0x00010000" 
333                                    binpath = "build/hello.elf"/>
334                                                </vseg>
335
336                        <vseg   name      = "seg_code_hello"
337                                vbase     = "0x00400000" 
338                                mode      = "CX_U"
339                                psegname  = "PSEG_RAU"
340                                ident     = "0" >
341                                                        <vobj   name    = "seg_code_hello"
342                                                                        type    = "ELF"
343                                                                        length    = "0x00010000" 
344                                    binpath = "build/hello.elf"/>
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
359                        <vseg   name      = "seg_stack"
360                                vbase     = "0x00000000" 
361                                mode      = "C_WU"
362                                psegname  = "PSEG_RAU" >
363                                                        <vobj   name    = "stack"
364                                                                        type    = "BUFFER"
365                                                                        length  = "0x00010000" />
366                                                </vseg>
367
368
369                        <task   name      = "main_hello"
370                                clusterid = "0"
371                                proclocid = "2"
372                                stackname = "stack"
373                                startid   = "0" 
374                                ttylocid  = "0" />
375                </vspace>
376
377                <vspace name    = "pgcd" 
378                        funcs   = "seg_data_pgcd"
379                        ttys    = "1" >
380
381                        <vseg   name      = "seg_data_pgcd"
382                                vbase     = "0x00800000" 
383                                mode      = "C_WU"
384                                psegname  = "PSEG_RAU"
385                                ident     = "0" >
386                                                        <vobj   name    = "seg_data_pgcd"
387                                                                        type    = "ELF"
388                                                                        length  = "0x00010000" 
389                                    binpath = "build/pgcd.elf" />
390                                                </vseg>
391
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" >
409                                                        <vobj   name    = "seg_code_pgcd"
410                                                                        type    = "ELF"
411                                                                        length  = "0x00010000" 
412                                    binpath = "build/pgcd.elf" />
413                                                </vseg>
414
415                        <vseg   name      = "seg_stack"
416                                vbase     = "0x00000000" 
417                                mode      = "C_WU"
418                                psegname  = "PSEG_RAU" >
419                                                        <vobj   name    = "stack"
420                                                                        type    = "BUFFER"
421                                                                        length  = "0x00010000" />
422                                                </vseg>
423
424
425                        <task   name      = "main_pgcd"
426                                clusterid = "0"
427                                proclocid = "3"
428                                stackname = "stack"
429                                startid   = "0" 
430                                ttylocid  = "0" />
431                </vspace>
432
433                <vspace name    = "numsplit"
434                        funcs   = "seg_data_numsplit"
435                        ttys    = "2" >
436
437                        <vseg   name      = "seg_data_numsplit"
438                                vbase     = "0x00800000" 
439                                mode      = "__WU"
440                                psegname  = "PSEG_RAU"
441                                ident     = "0" >
442                                                        <vobj   name    = "seg_data_numsplit"
443                                                                        type    = "ELF"
444                                                                        length  = "0x00010000" 
445                                    binpath = "build/numsplit.elf"
446                                                                        />
447                                                </vseg>
448
449                        <vseg   name      = "seg_code_numsplit"
450                                vbase     = "0x00400000" 
451                                mode      = "CX_U"
452                                psegname  = "PSEG_RAU"
453                                ident     = "0" >
454                                                        <vobj   name    = "seg_code_numsplit"
455                                                                        type    = "ELF"
456                                                                        length  = "0x00010000" 
457                                    binpath = "build/numsplit.elf"
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"
494                                psegname  = "PSEG_RAU">
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>
514          </vspaceset>
515</mapping_info>
Note: See TracBrowser for help on using the repository browser.