source: soft/giet_vm/map.xml @ 175

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

+ Adding the init attribute to the mwmr to specify the width of the mwmr channel
+ Fixing bugs in kernels_init

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