source: soft/giet_vm/map.xml @ 171

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

Testing the placement of the kernel segments without the identity mapping.
debugging memo.
debugging the vm_handler to disable the interrupts while passing in physical addressing.

File size: 17.0 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    = "ELF"
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                                                            <vobj   name        = "mwmr_out"
273                                                                        type    = "MWMR"
274                                                                            length  = "0x00000020" />
275                                                </vseg>
276
277                        <task   name      = "producer"
278                                clusterid = "0"
279                                proclocid = "0"
280                                stackname = "stack_producer"
281                                startid   = "0"
282                                usetty    = "1" />
283
284                        <task   name      = "consumer"
285                                clusterid = "0"
286                                proclocid = "1"
287                                stackname = "stack_consumer"
288                                startid   = "1" 
289                                usetty    = "1" />
290
291                        <task   name      = "router_A"
292                                clusterid = "0"
293                                proclocid = "2"
294                                stackname = "stack_router_A"
295                                startid   = "2"
296                                usetty    = "1" />
297
298                        <task   name      = "router_B"
299                                clusterid = "0"
300                                proclocid = "3"
301                                stackname = "stack_router_B"
302                                startid   = "2"
303                                usetty    = "1" />
304                </vspace>
305
306                <vspace name      = "hello" 
307                        startname = "seg_data_hello" >
308
309                        <vseg   name      = "seg_data_hello"
310                                vbase     = "0x00800000" 
311                                mode      = "C_WU"
312                                psegname  = "PSEG_RAU" >
313                                                            <vobj   name        = "seg_data_hello"
314                                                                        type    = "ELF"
315                                                                            length    = "0x00010000" 
316                                        binpath = "build/hello.elf" />
317                                                </vseg>
318
319                        <vseg   name      = "seg_code_hello"
320                                vbase     = "0x00400000" 
321                                mode      = "CX_U"
322                                psegname  = "PSEG_RAU" >
323                                                            <vobj   name        = "seg_code_hello"
324                                                                        type    = "ELF"
325                                                                            length    = "0x00010000" 
326                                        binpath = "build/hello.elf" />
327                                                </vseg>
328
329                        <vseg   name      = "seg_ptab"
330                                vbase     = "0x00300000" 
331                                mode      = "C___"
332                                psegname  = "PSEG_RAU" >
333                                <vobj   name    = "ptab"
334                                        type    = "PTAB"
335                                        length  = "0x00012000" 
336                                        align   = "13" />
337                        </vseg>
338
339                        <vseg   name      = "seg_stack"
340                                vbase     = "0x00000000" 
341                                mode      = "C_WU"
342                                psegname  = "PSEG_RAU" >
343                                                            <vobj   name        = "stack"
344                                                                        type    = "BUFFER"
345                                                                            length  = "0x00010000" />
346                                                </vseg>
347
348
349                        <task   name      = "main_hello"
350                                clusterid = "0"
351                                proclocid = "2"
352                                stackname = "stack"
353                                startid   = "0" 
354                                usetty    = "1" />
355                </vspace>
356
357                <vspace name      = "pgcd" 
358                        startname = "seg_data_pgcd" >
359
360                        <vseg   name      = "seg_data_pgcd"
361                                vbase     = "0x00800000" 
362                                mode      = "C_WU"
363                                psegname  = "PSEG_RAU" >
364                                                            <vobj   name        = "seg_data_pgcd"
365                                                                        type    = "ELF"
366                                                                            length  = "0x00010000" 
367                                        binpath = "build/pgcd.elf" />
368                                                </vseg>
369
370                        <vseg   name      = "seg_ptab"
371                                vbase     = "0x00300000" 
372                                mode      = "C___"
373                                psegname  = "PSEG_RAU" >
374                                <vobj   name    = "ptab"
375                                        type    = "PTAB"
376                                        length  = "0x00012000" 
377                                        align   = "13" />
378                        </vseg>
379
380                        <vseg   name      = "seg_code_pgcd"
381                                vbase     = "0x00400000" 
382                                mode      = "CX_U"
383                                psegname  = "PSEG_RAU" >
384                                                            <vobj   name        = "seg_code_pgcd"
385                                                                        type    = "ELF"
386                                                                            length  = "0x00010000" 
387                                        binpath = "build/pgcd.elf" />
388                                                </vseg>
389
390                        <vseg   name      = "seg_stack"
391                                vbase     = "0x00000000" 
392                                mode      = "C_WU"
393                                psegname  = "PSEG_RAU" >
394                                                            <vobj   name        = "stack"
395                                                                        type    = "BUFFER"
396                                                                            length  = "0x00010000" />
397                                                </vseg>
398
399                        <task   name      = "main_pgcd"
400                                clusterid = "0"
401                                proclocid = "3"
402                                stackname = "stack"
403                                startid   = "0" 
404                                usetty    = "1" />
405                </vspace>
406
407                <vspace name      = "display" 
408                        startname = "seg_data_display" >
409
410                        <vseg   name      = "seg_data_display"
411                                vbase     = "0x00800000" 
412                                mode      = "C_WU"
413                                psegname  = "PSEG_RAU" >
414                                                            <vobj   name        = "seg_data_display"
415                                                                        type    = "ELF"
416                                                                            length  = "0x00010000" 
417                                        binpath = "build/display.elf" />
418                                                </vseg>
419
420                        <vseg   name      = "seg_ptab_display"
421                                vbase     = "0x00300000" 
422                                mode      = "C___"
423                                psegname  = "PSEG_RAU" >
424                                <vobj   name    = "ptab"
425                                        type    = "PTAB"
426                                        length  = "0x00012000" 
427                                        align   = "13" />
428                        </vseg>
429
430                        <vseg   name      = "seg_code_display"
431                                vbase     = "0x00400000" 
432                                mode      = "CX_U"
433                                psegname  = "PSEG_RAU" >
434                                                            <vobj   name        = "seg_code_display"
435                                                                        type    = "ELF"
436                                                                            length  = "0x00010000" 
437                                        binpath = "build/display.elf" />
438                                                </vseg>
439
440                        <vseg   name      = "seg_stack_display"
441                                vbase     = "0x00000000" 
442                                mode      = "C_WU"
443                                psegname  = "PSEG_RAU" >
444                                                            <vobj   name        = "stack_display"
445                                                                        type    = "BUFFER"
446                                                                            length  = "0x00010000" />
447                                                </vseg>
448
449                        <task   name      = "main_display"
450                                clusterid = "0"
451                                proclocid = "3"
452                                stackname = "stack_display"
453                                startid   = "0" 
454                                usetty    = "1"
455                                usefb     = "1" />
456                </vspace>
457
458          </vspaceset>
459</mapping_info>
Note: See TracBrowser for help on using the repository browser.