source: soft/giet_vm/map.xml @ 167

Last change on this file since 167 was 167, checked in by alain, 12 years ago

Fix several bugs to use the vci_block_device with MMU activated

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