source: soft/giet_vm/map.xml @ 158

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

Introducing the giet_vm and some example applications
File size: 12.3 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     = "7"
8                vspaces  = "3" 
9                globals  = "13"
10                syspath  = "soft/sys.bin" >
11
12        <clusterset>
13                <cluster procs  = "4"
14                         timers = "4"
15                         dmas   = "4" />
16        </clusterset>
17
18        <psegset>
19                <pseg    name   = "PSEG_ROM" 
20                         base   = "0xbfc00000" 
21                         length = "0x00010000" />
22
23                <pseg    name   = "PSEG_RAU" 
24                         base   = "0x00000000" 
25                         length = "0x01000000" />
26
27                <pseg    name   = "PSEG_RAK" 
28                         base   = "0x80000000" 
29                         length = "0x00100000" />
30
31                <pseg    name   = "PSEG_TTY"
32                         base   = "0x90000000" 
33                         length = "0x00000200" />
34
35                <pseg    name   = "PSEG_TIM" 
36                         base   = "0x91000000" 
37                         length = "0x00000080" />
38
39                <pseg    name   = "PSEG_IOC" 
40                         base   = "0x92000000" 
41                         length = "0x00000020" />
42
43                <pseg    name   = "PSEG_DMA" 
44                         base   = "0x93000000" 
45                         length = "0x00000100" />
46
47                <pseg    name   = "PSEG_FBF" 
48                         base   = "0x96000000" 
49                         length = "0x00004000" />
50
51                <pseg    name   = "PSEG_ICU" 
52                         base   = "0x9F000000" 
53                         length = "0x00000100" />
54        </psegset> 
55
56        <globalset> 
57                <vseg   name      = "seg_boot_code" 
58                        vbase     = "0xbfc00000" 
59                        length    = "0x00008000" 
60                        mode      = "CX__" 
61                        psegname  = "PSEG_ROM" 
62                        ident     = "1" />
63
64                <vseg   name      = "seg_boot_stack"
65                        vbase     = "0xbfc08000" 
66                        length    = "0x00004000" 
67                        mode      = "C_W_"
68                        psegname  = "PSEG_ROM"
69                        ident     = "1" />
70
71                <vseg   name      = "seg_boot_mapping"
72                        vbase     = "0xbfc0c000" 
73                        length    = "0x00004000" 
74                        mode      = "C_W_"
75                        psegname  = "PSEG_ROM"
76                        ident     = "1" />
77
78                <vseg   name      = "seg_kernel_code"
79                        vbase     = "0x80000000" 
80                        length    = "0x00010000" 
81                        mode      = "CX__" 
82                        psegname  = "PSEG_RAK"
83                        ident     = "1" />
84
85                <vseg   name      = "seg_kernel_data"
86                        vbase     = "0x80010000" 
87                        length    = "0x00010000" 
88                        mode      = "C_W_" 
89                        psegname  = "PSEG_RAK"
90                        ident     = "1" />
91
92                <vseg   name      = "seg_kernel_uncdata"
93                        vbase     = "0x80020000" 
94                        length    = "0x00010000" 
95                        mode      = "__W_"
96                        psegname  = "PSEG_RAK"
97                        ident     = "1" />
98
99                <vseg   name      = "seg_kernel_pt"
100                        vbase     = "0x80030000" 
101                        length    = "0x00040000" 
102                        mode      = "C_W_"
103                        psegname  = "PSEG_RAK"
104                        ident     = "1" />
105
106                <vseg   name      = "seg_tty"
107                        vbase     = "0x90000000" 
108                        length    = "0x00000200" 
109                        mode      = "__W_"
110                        psegname  = "PSEG_TTY"
111                        ident     = "1" />
112
113                <vseg   name      = "seg_timer"
114                        vbase     = "0x91000000" 
115                        length    = "0x00000080" 
116                        mode      = "__W_"
117                        psegname  = "PSEG_TIM"
118                        ident     = "1" />
119
120                <vseg   name      = "seg_ioc"
121                        vbase     = "0x92000000" 
122                        length    = "0x00000020" 
123                        mode      = "__W_"
124                        psegname  = "PSEG_IOC"
125                        ident     = "1" />
126
127                <vseg   name      = "seg_dma"
128                        vbase     = "0x93000000" 
129                        length    = "0x00000100" 
130                        mode      = "__W_"
131                        psegname  = "PSEG_DMA"
132                        ident     = "1" />
133
134                <vseg   name      = "seg_fb"
135                        vbase     = "0x96000000" 
136                        length    = "0x00004000" 
137                        mode      = "__W_"
138                        psegname  = "PSEG_FBF"
139                        ident     = "1" />
140
141                <vseg   name      = "seg_icu"
142                        vbase     = "0x9F000000" 
143                        length    = "0x00000100" 
144                        mode      = "__W_"
145                        psegname  = "PSEG_ICU"
146                        ident     = "1" />
147          </globalset> 
148
149          <vspaceset>
150                <vspace name    = "router"
151                        binpath = "soft/router.bin"
152                        vsegs   = "8"
153                        tasks   = "4" 
154                        mwmrs   = "2"
155                        ttys    = "4" >
156
157                        <vseg   name      = "seg_data"
158                                vbase     = "0x00800000" 
159                                length    = "0x00010000" 
160                                mode      = "__WU"
161                                psegname  = "PSEG_RAU"
162                                ident     = "1" />
163                        <vseg   name      = "seg_code"
164                                vbase     = "0x00400000" 
165                                length    = "0x00010000" 
166                                mode      = "CX_U"
167                                psegname  = "PSEG_RAU"
168                                ident     = "1" />
169                        <vseg   name      = "seg_stack_producer"
170                                vbase     = "0x00000000" 
171                                length    = "0x00010000" 
172                                mode      = "C_WU"
173                                psegname  = "PSEG_RAU" />
174                        <vseg   name      = "seg_stack_consumer"
175                                vbase     = "0x00010000" 
176                                length    = "0x00010000" 
177                                mode      = "C_WU"
178                                psegname  = "PSEG_RAU" />
179                        <vseg   name      = "seg_stack_router_A"
180                                vbase     = "0x00020000" 
181                                length    = "0x00010000" 
182                                mode      = "C_WU"
183                                psegname  = "PSEG_RAU" />
184                        <vseg   name      = "seg_stack_router_B"
185                                vbase     = "0x00030000" 
186                                length    = "0x00010000" 
187                                mode      = "C_WU"
188                                psegname  = "PSEG_RAU" />
189                        <vseg   name      = "seg_mwmr_in"
190                                vbase     = "0x00040000"
191                                length    = "0x00001000"
192                                mode      = "__WU"
193                                psegname  = "PSEG_RAU"
194                                mwmr      = "1" />
195                        <vseg   name      = "seg_mwmr_out"
196                                vbase     = "0x00050000"
197                                length    = "0x00001000"
198                                mode      = "__WU"
199                                psegname  = "PSEG_RAU"
200                                mwmr      = "1" />
201
202                        <task   name      = "producer"
203                                clusterid = "0"
204                                proclocid = "0"
205                                stackname = "seg_stack_producer"
206                                startid   = "0"
207                                ttylocid  = "0" />
208                        <task   name      = "consumer"
209                                clusterid = "0"
210                                proclocid = "1"
211                                stackname = "seg_stack_consumer"
212                                startid   = "1" 
213                                ttylocid  = "1" />
214                        <task   name      = "router_A"
215                                clusterid = "0"
216                                proclocid = "2"
217                                stackname = "seg_stack_router_A"
218                                startid   = "2"
219                                ttylocid  = "2" />
220                        <task   name      = "router_B"
221                                clusterid = "0"
222                                proclocid = "3"
223                                stackname = "seg_stack_router_B"
224                                startid   = "2"
225                                ttylocid  = "3" />
226                </vspace>
227
228                <vspace name    = "hello" 
229                        binpath = "soft/hello.bin"
230                        vsegs   = "3"
231                        tasks   = "1" 
232                        mwmrs   = "0"
233                        ttys    = "1" >
234
235                        <vseg   name      = "seg_data"
236                                vbase     = "0x00810000" 
237                                length    = "0x00010000" 
238                                mode      = "C_WU"
239                                psegname  = "PSEG_RAU"
240                                ident     = "1" />
241
242                        <vseg   name      = "seg_stack"
243                                vbase     = "0x00000000" 
244                                length    = "0x00010000" 
245                                mode      = "C_WU"
246                                psegname  = "PSEG_RAU" />
247
248                        <vseg   name      = "seg_code"
249                                vbase     = "0x00410000" 
250                                length    = "0x00010000" 
251                                mode      = "CX_U"
252                                psegname  = "PSEG_RAU"
253                                ident     = "1" />
254
255                        <task   name      = "main_hello"
256                                clusterid = "0"
257                                proclocid = "2"
258                                stackname = "seg_stack"
259                                startid   = "0" 
260                                ttylocid  = "0" />
261                </vspace>
262
263                <vspace name    = "pgcd" 
264                        binpath = "soft/pgcd.bin"
265                        vsegs   = "3"
266                        tasks   = "1" 
267                        mwmrs   = "0"
268                        ttys    = "1" >
269
270                        <vseg   name      = "seg_data"
271                                vbase     = "0x00820000" 
272                                length    = "0x00010000" 
273                                mode      = "C_WU"
274                                psegname  = "PSEG_RAU"
275                                ident     = "1" />
276
277                        <vseg   name      = "seg_stack"
278                                vbase     = "0x00000000" 
279                                length    = "0x00010000" 
280                                mode      = "C_WU"
281                                psegname  = "PSEG_RAU" />
282
283                        <vseg   name      = "seg_code"
284                                vbase     = "0x00420000" 
285                                length    = "0x00010000" 
286                                mode      = "CX_U"
287                                psegname  = "PSEG_RAU"
288                                ident     = "1" />
289
290                        <task   name      = "main_pgcd"
291                                clusterid = "0"
292                                proclocid = "3"
293                                stackname = "seg_stack"
294                                startid   = "0" 
295                                ttylocid  = "0" />
296                </vspace>
297          </vspaceset>
298</mapping_info>
Note: See TracBrowser for help on using the repository browser.