source: soft/giet_vm/map.xml @ 160

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

giet-vm new version

File size: 18.5 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    = "boot_code_data"
62                                                        type    = "ELF"
63                                                        length  = "0x00008000" 
64                                                        binpath = "boot.bin"
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    = "boot_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    = "kernel_code"
96                                                        type    = "ELF"
97                                                        length  = "0x00010000" 
98                                                        binpath = "sys.bin"
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    = "kernel_data"
108                                                        type    = "ELF"
109                                                        length  = "0x00010000" 
110                                                        binpath = "sys.bin"
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    = "kernel_uncdata"
120                                                        type    = "ELF"
121                                                        length  = "0x00010000" 
122                                                        binpath = "sys.bin"
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    = "kernel_init"
132                                                        type    = "ELF"
133                                                        length  = "0x00010000" 
134                                                        binpath = "sys.bin"
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   = "data"
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    = "data"
211                                                                        type    = "ELF"
212                                                                        length  = "0x00010000" 
213                                    binpath = "router.bin"
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    = "code"
223                                                                        type    = "ELF"
224                                                                        length  = "0x00010000" 
225                                    binpath = "router.bin"
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                                mwmr      = "1" >
282                                                        <vobj   name    = "mwmr_in"
283                                                                        type    = "MWMR"
284                                                                        length  = "0x00000020"/>
285                                                </vseg>
286
287                        <vseg   name      = "seg_mwmr_out"
288                                vbase     = "0x00060000"
289                                mode      = "__WU"
290                                psegname  = "PSEG_RAU"
291                                mwmr      = "1" >
292                                                        <vobj   name    = "mwmr_out"
293                                                                        type    = "MWMR"
294                                                                        length  = "0x00000020"/>
295                                                </vseg>
296
297                        <task   name      = "producer"
298                                clusterid = "0"
299                                proclocid = "0"
300                                stackname = "stack_producer"
301                                startid   = "0"
302                                ttylocid  = "0" />
303                        <task   name      = "consumer"
304                                clusterid = "0"
305                                proclocid = "1"
306                                stackname = "stack_consumer"
307                                startid   = "1" 
308                                ttylocid  = "1" />
309                        <task   name      = "router_A"
310                                clusterid = "0"
311                                proclocid = "2"
312                                stackname = "stack_router_A"
313                                startid   = "2"
314                                ttylocid  = "2" />
315                        <task   name      = "router_B"
316                                clusterid = "0"
317                                proclocid = "3"
318                                stackname = "stack_router_B"
319                                startid   = "2"
320                                ttylocid  = "3" />
321                </vspace>
322
323                <vspace name    = "hello" 
324                        funcs   = "data"
325                        ttys    = "1" >
326
327                        <vseg   name      = "seg_data_hello"
328                                vbase     = "0x00800000" 
329                                mode      = "C_WU"
330                                psegname  = "PSEG_RAU"
331                                ident     = "0" >
332                                                        <vobj   name    = "data"
333                                                                        type    = "ELF"
334                                                                        length    = "0x00010000" 
335                                    binpath = "hello.bin"/>
336                                                </vseg>
337
338                        <vseg   name      = "seg_code_hello"
339                                vbase     = "0x00400000" 
340                                mode      = "CX_U"
341                                psegname  = "PSEG_RAU"
342                                ident     = "0" >
343                                                        <vobj   name    = "code"
344                                                                        type    = "ELF"
345                                                                        length    = "0x00010000" 
346                                    binpath = "hello.bin"/>
347                                                </vseg>
348
349                        <vseg   name      = "seg_ptab"
350                                vbase     = "0x00300000" 
351                                mode      = "C___"
352                                psegname  = "PSEG_RAU"
353                                ident     = "0" >
354                            <vobj   name        = "ptab"
355                                    type        = "PTAB"
356                                    length  = "0x00010000" 
357                                    align   = "13"
358                                    />
359                        </vseg>
360
361                        <vseg   name      = "seg_stack"
362                                vbase     = "0x00000000" 
363                                mode      = "C_WU"
364                                psegname  = "PSEG_RAU" >
365                                                        <vobj   name    = "stack"
366                                                                        type    = "BUFFER"
367                                                                        length  = "0x00010000" />
368                                                </vseg>
369
370
371                        <task   name      = "main_hello"
372                                clusterid = "0"
373                                proclocid = "2"
374                                stackname = "stack"
375                                startid   = "0" 
376                                ttylocid  = "0" />
377                </vspace>
378
379                <vspace name    = "pgcd" 
380                        funcs   = "data"
381                        ttys    = "1" >
382
383                        <vseg   name      = "seg_data_pgcd"
384                                vbase     = "0x00800000" 
385                                mode      = "C_WU"
386                                psegname  = "PSEG_RAU"
387                                ident     = "0" >
388                                                        <vobj   name    = "data"
389                                                                        type    = "ELF"
390                                                                        length  = "0x00010000" 
391                                    binpath = "pgcd.bin" />
392                                                </vseg>
393
394                        <vseg   name      = "seg_ptab"
395                                vbase     = "0x00300000" 
396                                mode      = "C___"
397                                psegname  = "PSEG_RAU"
398                                ident     = "0" >
399                            <vobj   name        = "ptab"
400                                    type        = "PTAB"
401                                    length  = "0x00010000" 
402                                    align   = "13"
403                                    />
404                        </vseg>
405
406                        <vseg   name      = "seg_code_pgcd"
407                                vbase     = "0x00400000" 
408                                mode      = "CX_U"
409                                psegname  = "PSEG_RAU"
410                                ident     = "0" >
411                                                        <vobj   name    = "code"
412                                                                        type    = "ELF"
413                                                                        length  = "0x00010000" 
414                                    binpath = "pgcd.bin" />
415                                                </vseg>
416
417                        <vseg   name      = "seg_stack"
418                                vbase     = "0x00000000" 
419                                mode      = "C_WU"
420                                psegname  = "PSEG_RAU" >
421                                                        <vobj   name    = "stack"
422                                                                        type    = "BUFFER"
423                                                                        length  = "0x00010000" />
424                                                </vseg>
425
426
427                        <task   name      = "main_pgcd"
428                                clusterid = "0"
429                                proclocid = "3"
430                                stackname = "stack"
431                                startid   = "0" 
432                                ttylocid  = "0" />
433                </vspace>
434
435                <vspace name    = "numsplit"
436                        funcs   = "data"
437                        ttys    = "2" >
438
439                        <vseg   name      = "seg_data_numsplit"
440                                vbase     = "0x00800000" 
441                                mode      = "__WU"
442                                psegname  = "PSEG_RAU"
443                                ident     = "0" >
444                                                        <vobj   name    = "data"
445                                                                        type    = "ELF"
446                                                                        length  = "0x00010000" 
447                                    binpath = "numsplit.bin"
448                                                                        />
449                                                </vseg>
450
451                        <vseg   name      = "seg_code_numsplit"
452                                vbase     = "0x00400000" 
453                                mode      = "CX_U"
454                                psegname  = "PSEG_RAU"
455                                ident     = "0" >
456                                                        <vobj   name    = "code"
457                                                                        type    = "ELF"
458                                                                        length  = "0x00010000" 
459                                    binpath = "numsplit.bin"
460                                                                        />
461                                                </vseg>
462
463                        <vseg   name      = "seg_ptab"
464                                vbase     = "0x00300000" 
465                                mode      = "C___"
466                                psegname  = "PSEG_RAU"
467                                ident     = "0" >
468                            <vobj   name        = "ptab"
469                                    type        = "PTAB"
470                                    length  = "0x00010000" 
471                                    align   = "13"
472                                    />
473                        </vseg>
474
475                        <vseg   name      = "seg_stack_producer"
476                                                vbase     = "0x00010000" 
477                                mode      = "C_WU"
478                                psegname  = "PSEG_RAU" >
479                                                        <vobj   name    = "stack_producer"
480                                                                        type    = "BUFFER"
481                                                                        length  = "0x00010000" />
482                                                </vseg>
483
484                        <vseg   name      = "seg_stack_consumer"
485                                                vbase     = "0x00020000" 
486                                mode      = "C_WU"
487                                psegname  = "PSEG_RAU" >
488                                                        <vobj   name    = "stack_consumer"
489                                                                        type    = "BUFFER"
490                                                                        length  = "0x00010000" />
491                                                </vseg>
492
493                        <vseg   name      = "seg_mwmr"
494                                vbase     = "0x00050000"
495                                mode      = "__WU"
496                                psegname  = "PSEG_RAU"
497                                mwmr      = "1" >
498                                                        <vobj   name    = "mwmr"
499                                                                        type    = "MWMR"
500                                                                        length  = "0x00000080"/>
501                                                </vseg>
502
503                        <task   name      = "producer"
504                                clusterid = "0"
505                                proclocid = "0"
506                                stackname = "stack_producer"
507                                startid   = "0"
508                                ttylocid  = "1" />
509
510                        <task   name      = "consumer"
511                                clusterid = "0"
512                                proclocid = "1"
513                                stackname = "stack_consumer"
514                                startid   = "1" 
515                                ttylocid  = "0" />
516                </vspace>
517          </vspaceset>
518</mapping_info>
Note: See TracBrowser for help on using the repository browser.