source: soft/giet_vm/mappings/4c_1p_40.xml @ 252

Last change on this file since 252 was 245, checked in by alain, 11 years ago

Introducing a new global vseg : seg_boot_data, in order
to clearly separate the seg_boot_code (Read-Only) and
the seg_boot_data (Read/Write?). This is mandatory,
if the boot code is stored in a real ROM.
File size: 17.9 KB
Line 
1<?xml version="1.0"?>
2
3<mapping_info signature    = "0xdeadbeef" 
4              name         = "4c_1p_40" 
5              cluster_x    = "2" 
6              cluster_y    = "2" 
7              vspaces      = "4">
8
9*** This first section describes an instance of the "tsar_generic_xbar" architecture
10*** with 4 clusters, 1 processor per cluster and 40 bits physical address.
11
12    <clusterset>
13
14        <cluster index = "0" >
15            <pseg name = "PSEG_RAM"  type = "RAM"  base = "0x0000000000" length = "0x0010000000" />
16            <pseg name = "PSEG_XICU" type = "PERI" base = "0x00B0000000" length = "0x0000002000" />
17            <pseg name = "PSEG_DMA"  type = "PERI" base = "0x00B1000000" length = "0x0000008000" />
18
19*** Boot ROM and non replicated peripherals
20
21            <pseg name = "PSEG_FBF"  type = "PERI" base = "0x00B2000000" length = "0x0000004000" /> 
22            <pseg name = "PSEG_IOC"  type = "PERI" base = "0x00B3000000" length = "0x0000001000" /> 
23            <pseg name = "PSEG_TTY"  type = "PERI" base = "0x00B4000000" length = "0x0000001000" /> 
24            <pseg name = "PSEG_NIC"  type = "PERI" base = "0x00B5000000" length = "0x0000021000" />
25            <pseg name = "PSEG_CMA"  type = "PERI" base = "0x00B6000000" length = "0x0000004000" />
26            <pseg name = "PSEG_IOB"  type = "PERI" base = "0x00BE000000" length = "0x0000100000" />
27            <pseg name = "PSEG_ROM"  type = "ROM"  base = "0x00BFC00000" length = "0x0000100000" />
28
29            <proc index  = "0" >
30                <irq type = "HARD" icuid = "0"  isr = "ISR_SWITCH" /> 
31                <irq type = "HARD" icuid = "8"  isr = "ISR_DMA" channel = "0" /> 
32                <irq type = "HARD" icuid = "16" isr = "ISR_TTY" channel = "0" /> 
33                <irq type = "HARD" icuid = "17" isr = "ISR_TTY" channel = "1" /> 
34                <irq type = "HARD" icuid = "18" isr = "ISR_TTY" channel = "2" /> 
35                <irq type = "HARD" icuid = "19" isr = "ISR_TTY" channel = "3" /> 
36                <irq type = "HARD" icuid = "20" isr = "ISR_TTY" channel = "4" /> 
37                <irq type = "HARD" icuid = "21" isr = "ISR_TTY" channel = "5" /> 
38                <irq type = "HARD" icuid = "22" isr = "ISR_TTY" channel = "6" /> 
39                <irq type = "HARD" icuid = "23" isr = "ISR_TTY" channel = "7" /> 
40                <irq type = "HARD" icuid = "24" isr = "ISR_TTY" channel = "8" /> 
41                <irq type = "HARD" icuid = "25" isr = "ISR_TTY" channel = "9" />
42                <irq type = "HARD" icuid = "26" isr = "ISR_TTY" channel = "10" /> 
43                <irq type = "HARD" icuid = "27" isr = "ISR_TTY" channel = "11" /> 
44                <irq type = "HARD" icuid = "28" isr = "ISR_TTY" channel = "12" /> 
45                <irq type = "HARD" icuid = "29" isr = "ISR_TTY" channel = "13" /> 
46                <irq type = "HARD" icuid = "30" isr = "ISR_TTY" channel = "14" /> 
47                <irq type = "HARD" icuid = "31" isr = "ISR_IOC" /> 
48            </proc> 
49
50            <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "4" /> 
51            <periph type = "XICU" psegname = "PSEG_XICU" channels = "18" />
52            <periph type = "IOC"  psegname = "PSEG_IOC"  channels = "1" /> 
53            <periph type = "TTY"  psegname = "PSEG_TTY"  channels = "8" /> 
54            <periph type = "NIC"  psegname = "PSEG_NIC"  channels = "2" />
55            <periph type = "FBF"  psegname = "PSEG_FBF" />
56        </cluster>
57
58        <cluster index = "1" >
59            <pseg name = "PSEG_RAM"  type = "RAM"  base = "0x4000000000" length = "0x0010000000" />
60            <pseg name = "PSEG_XICU" type = "PERI" base = "0x40B0000000" length = "0x0000002000" />
61            <pseg name = "PSEG_DMA"  type = "PERI" base = "0x40B1000000" length = "0x0000008000" />
62
63            <proc index = "0" >
64                <irq type = "HARD" icuid = "0"  isr = "ISR_SWITCH" />
65                <irq type = "HARD" icuid = "8"  isr = "ISR_DMA" channel = "0" />
66            </proc>
67
68            <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "4" />
69            <periph type = "XICU" psegname = "PSEG_XICU" channels = "2" />
70        </cluster>
71
72        <cluster index = "2" >
73            <pseg name = "PSEG_RAM"  type = "RAM"  base = "0x8000000000" length = "0x0010000000" />
74            <pseg name = "PSEG_XICU" type = "PERI" base = "0x80B0000000" length = "0x0000002000" />
75            <pseg name = "PSEG_DMA"  type = "PERI" base = "0x80B1000000" length = "0x0000008000" />
76
77            <proc index = "0" >
78                <irq type = "HARD" icuid = "0" isr = "ISR_SWITCH" />
79                <irq type = "HARD" icuid = "8" isr = "ISR_DMA" channel = "0" />
80            </proc>
81
82            <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "4" />
83            <periph type = "XICU" psegname = "PSEG_XICU" channels = "2" />
84        </cluster>
85
86        <cluster index = "3" >
87            <pseg name = "PSEG_RAM"  type = "RAM"  base = "0xC000000000" length = "0x0010000000" />
88            <pseg name = "PSEG_XICU" type = "PERI" base = "0xC0B0000000" length = "0x0000002000" />
89            <pseg name = "PSEG_DMA"  type = "PERI" base = "0xC0B1000000" length = "0x0000008000" />
90
91            <proc index = "0" >
92                <irq type = "HARD" icuid = "0" isr = "ISR_SWITCH" />
93                <irq type = "HARD" icuid = "8" isr = "ISR_DMA" channel = "0" />
94            </proc>
95
96            <periph  type = "DMA" psegname = "PSEG_DMA"  channels = "4" />
97            <periph type = "XICU" psegname = "PSEG_XICU" channels = "2" />
98        </cluster>
99    </clusterset>
100
101
102
103    <globalset> 
104
105*** segments used by the boot code / A[31:28] = 0xB / Identity mapping
106
107        <vseg name = "seg_boot_code"      vbase = "0xBFC00000" mode = "CXW_" clusterid = "0" psegname = "PSEG_ROM" ident = "1" >
108            <vobj name = "boot_code"      type = "ELF" length = "0x00008000" binpath    = "build/boot/boot.elf" />
109        </vseg>
110        <vseg name = "seg_boot_data"      vbase = "0x00000000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
111            <vobj name = "boot_data"      type = "ELF" length = "0x00001000" binpath    = "build/boot/boot.elf" />
112        </vseg>
113        <vseg name = "seg_boot_stack"     vbase = "0x00001000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
114            <vobj name = "boot_stack"     type = "BUFFER" length = "0x00003000" />
115        </vseg>
116        <vseg name = "seg_boot_mapping"   vbase = "0x00004000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
117            <vobj name = "boot_mapping"   type = "BLOB" length  = "0x00004000" binpath  = "map.bin" />
118        </vseg>
119
120*** Non replicated peripherals / A[31:28] = 0xB / Identity mapping
121
122        <vseg name = "seg_fbf"            vbase = "0xB2000000" mode = "__W_" clusterid = "0" psegname = "PSEG_FBF" ident = "1" >
123            <vobj name = "fbf"            type = "PERI" length  = "0x00004000" /> 
124        </vseg>
125        <vseg name = "seg_ioc"            vbase = "0xB3000000" mode = "__W_" clusterid = "0" psegname = "PSEG_IOC" ident = "1" >
126            <vobj name = "ioc"            type = "PERI" length  = "0x00001000" /> 
127        </vseg>
128        <vseg name = "seg_tty"            vbase = "0xB4000000" mode = "__W_" clusterid = "0" psegname = "PSEG_TTY" ident = "1" >
129                        <vobj name = "tty"            type = "PERI" length  = "0x00001000" />
130        </vseg>
131        <vseg name = "seg_nic"            vbase = "0xB5000000" mode = "__W_" clusterid = "0" psegname = "PSEG_NIC" ident = "1" >
132            <vobj name = "nic"            type = "PERI" length  = "0x00021000" /> 
133        </vseg>
134
135*** segments used by the kernel / A[31:28] = 0x8
136 
137        <vseg name = "seg_kernel_code"    vbase = "0x80000000" mode = "CX__" clusterid = "0" psegname = "PSEG_RAM" > 
138            <vobj name = "kernel_code"    type = "ELF" length = "0x00010000" binpath = "build/sys/sys.elf" />
139        </vseg>
140        <vseg name = "seg_kernel_data"    vbase = "0x80020000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" > 
141            <vobj name = "kernel_data"    type = "ELF" length = "0x00040000" binpath = "build/sys/sys.elf" />
142                </vseg>
143        <vseg name = "seg_kernel_uncdata" vbase = "0x80080000" mode = "__W_" clusterid = "0" psegname = "PSEG_RAM" > 
144            <vobj name = "kernel_uncdata" type = "ELF" length = "0x00010000" binpath = "build/sys/sys.elf" />
145        </vseg>
146        <vseg name = "seg_kernel_init"    vbase = "0x80090000" mode = "CX__" clusterid = "0" psegname = "PSEG_RAM" > 
147            <vobj name  = "kernel_init"   type = "ELF" length = "0x00010000" binpath    = "build/sys/sys.elf" />
148        </vseg>
149
150*** Replicated ICUS / A[31:28] = 0xE / Increment = 0x100000             
151
152        <vseg name = "seg_icu_0"          vbase = "0xE0000000" mode = "__W_" clusterid = "0" psegname = "PSEG_XICU" > 
153            <vobj name = "icu_0"          type = "PERI" length  = "0x00001000" /> 
154        </vseg>
155        <vseg name = "seg_icu_1"          vbase = "0xE0100000" mode = "__W_" clusterid = "1" psegname = "PSEG_XICU" > 
156            <vobj name = "icu_1"          type = "PERI" length  = "0x00001000" /> 
157        </vseg>
158        <vseg name = "seg_icu_2"          vbase = "0xE0200000" mode = "__W_" clusterid = "2" psegname = "PSEG_XICU" > 
159            <vobj name = "icu_2"          type = "PERI" length  = "0x00001000" /> 
160        </vseg>
161        <vseg name = "seg_icu_3"          vbase = "0xE0300000" mode = "__W_" clusterid = "3" psegname = "PSEG_XICU" > 
162            <vobj name = "icu_3"          type = "PERI" length  = "0x00001000" /> 
163        </vseg>
164
165*** Replicated DMAs / A[31:28] = 0xD / Increment = 0x100000
166
167        <vseg name = "seg_dma_0"          vbase = "0xD0000000" mode = "__W_" clusterid = "0" psegname = "PSEG_DMA" >
168            <vobj name = "dma_0"          type = "PERI" length  = "0x00008000" />
169        </vseg>
170        <vseg name = "seg_dma_1"          vbase = "0xD0100000" mode = "__W_" clusterid = "1" psegname = "PSEG_DMA" >
171            <vobj name = "dma_1"          type = "PERI" length  = "0x00008000" />
172        </vseg>
173        <vseg name = "seg_dma_2"          vbase = "0xD0200000" mode = "__W_" clusterid = "2" psegname = "PSEG_DMA" >
174            <vobj name = "dma_2"          type = "PERI" length  = "0x00008000" />
175        </vseg>
176        <vseg name = "seg_dma_3"          vbase = "0xD0300000" mode = "__W_" clusterid = "3" psegname = "PSEG_DMA" >
177            <vobj name = "dma_3"          type = "PERI" length  = "0x00008000" />
178        </vseg>
179
180*** Replicated schedulers / A[31:28] = 0xF / Increment = 0x100000
181
182        <vseg name = "seg_sched_0"        vbase = "0xF0000000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" >
183            <vobj name = "sched_0"        type = "SCHED" length  = "0x00008000" />
184        </vseg>
185        <vseg name = "seg_sched_1"        vbase = "0xF0100000" mode = "C_W_" clusterid = "1" psegname = "PSEG_RAM" >
186            <vobj name = "sched_1"        type = "SCHED" length  = "0x00008000" />
187        </vseg>
188        <vseg name = "seg_sched_2"        vbase = "0xF0200000" mode = "C_W_" clusterid = "2" psegname = "PSEG_RAM" >
189            <vobj name = "sched_2"        type = "SCHED" length  = "0x00008000" />
190        </vseg>
191        <vseg name = "seg_sched_3"        vbase = "0xF0300000" mode = "C_W_" clusterid = "3" psegname = "PSEG_RAM" >
192            <vobj name = "sched_3"        type = "SCHED" length  = "0x00008000" />
193        </vseg>
194***
195    </globalset> 
196
197    <vspaceset>
198        <vspace name = "router" startname = "router_data" > 
199            <vseg name = "seg_data"        vbase = "0x00800000" mode = "__WU" clusterid = "0" psegname = "PSEG_RAM" >
200                <vobj name = "router_data" type = "ELF" length = "0x00010000" binpath = "build/router/router.elf" />
201            </vseg>
202            <vseg name = "seg_code"        vbase = "0x00400000" mode = "CX_U" clusterid = "0" psegname = "PSEG_RAM" > 
203                <vobj name = "router_code" type = "ELF" length = "0x00010000" binpath = "build/router/router.elf" /> 
204            </vseg>
205            <vseg name = "seg_ptab"        vbase = "0x00300000" mode = "C___" clusterid = "0" psegname = "PSEG_RAM" > 
206                <vobj name = "ptab"        type = "PTAB" length  = "0x00012000" align   = "13" />
207            </vseg>
208            <vseg name = "seg_stack_prod"  vbase = "0x00010000" mode = "C_WU" clusterid = "0" psegname = "PSEG_RAM" >
209                <vobj name = "stack_prod"  type = "BUFFER" length = "0x00010000" /> 
210                <vobj name = "heap_prod"   type = "BUFFER" length = "0x00010000" /> 
211            </vseg>
212            <vseg name = "seg_stack_cons"  vbase = "0x00030000" mode = "C_WU" clusterid = "1" psegname = "PSEG_RAM" > 
213                <vobj name = "stack_cons"  type = "BUFFER" length = "0x00010000" />
214                <vobj name = "heap_cons"   type = "BUFFER" length = "0x00010000" /> 
215            </vseg>
216            <vseg name = "seg_stack_routA" vbase = "0x00050000" mode = "C_WU" clusterid = "2" psegname = "PSEG_RAM" > 
217                <vobj name = "stack_routA" type = "BUFFER" length = "0x00010000" />
218                <vobj name = "heap_routA"  type = "BUFFER" length = "0x00010000" /> 
219            </vseg>
220            <vseg name = "seg_stack_routB" vbase = "0x00070000" mode = "C_WU" clusterid = "3" psegname = "PSEG_RAM" > 
221                <vobj name = "stack_routB" type = "BUFFER" length = "0x00010000" />
222                <vobj name = "heap_routB"  type = "BUFFER" length = "0x00010000" /> 
223            </vseg>
224            <vseg name = "seg_mwmrs"       vbase = "0x00090000" mode = "__WU" clusterid = "0" psegname = "PSEG_RAM" > 
225                <vobj name = "mwmr_in"     type = "MWMR" length = "0x00000020" init = "1" />
226                <vobj name = "mwmr_out"    type = "MWMR" length = "0x00000020" init = "1" />
227                    </vseg>
228
229            <task name = "producer" clusterid = "0" proclocid = "0" stackname = "stack_prod"  heapname = "heap_prod"  startid = "0" usetty = "1" />
230            <task name = "consumer" clusterid = "1" proclocid = "0" stackname = "stack_cons"  heapname = "heap_cons"  startid = "1" usetty = "1" />
231            <task name = "router_A" clusterid = "2" proclocid = "0" stackname = "stack_routA" heapname = "heap_routA" startid = "2" usetty = "1" />
232            <task name = "router_B" clusterid = "3" proclocid = "0" stackname = "stack_routB" heapname = "heap_routB" startid = "2" usetty = "1" />
233        </vspace>
234
235        <vspace name = "hello" startname = "hello_data" >
236            <vseg name = "seg_data"        vbase = "0x00800000" mode = "C_WU" clusterid = "1" psegname = "PSEG_RAM" >
237                <vobj name = "hello_data"  type = "ELF" length = "0x00010000" binpath = "build/hello/hello.elf" />
238            </vseg>
239            <vseg name = "seg_code"        vbase = "0x00400000" mode = "CX_U" clusterid = "1" psegname = "PSEG_RAM" > 
240                <vobj name = "hello_code"  type = "ELF" length = "0x00010000" binpath = "build/hello/hello.elf" />
241            </vseg>
242            <vseg name = "seg_ptab"        vbase = "0x00300000" mode = "C___" clusterid = "1" psegname = "PSEG_RAM" >
243                <vobj name = "ptab"        type = "PTAB" length = "0x00012000" align = "13" /> 
244            </vseg>
245            <vseg name = "seg_stack"       vbase = "0x00010000" mode = "C_WU" clusterid = "1" psegname = "PSEG_RAM" >
246                <vobj name = "stack"       type = "BUFFER" length = "0x00010000" />
247                <vobj name = "heap"        type = "BUFFER" length = "0x00010000" />
248            </vseg>
249
250            <task name = "main_hello" clusterid = "1" proclocid = "0" stackname = "stack" heapname = "heap" startid = "0" usetty = "1" />
251        </vspace>
252
253        <vspace name = "pgcd" startname = "pgcd_data" >
254            <vseg name = "seg_data"        vbase = "0x00800000" mode = "C_WU" clusterid = "2" psegname = "PSEG_RAM" >
255                <vobj name      = "pgcd_data"  type     = "ELF" length = "0x00010000" binpath = "build/pgcd/pgcd.elf" />
256            </vseg>
257            <vseg name = "seg_code"        vbase = "0x00400000" mode = "CX_U" clusterid = "2" psegname = "PSEG_RAM" >
258                <vobj name = "pgcd_code"   type = "ELF" length = "0x00010000" binpath = "build/pgcd/pgcd.elf" />
259            </vseg>
260            <vseg name = "seg_ptab"        vbase = "0x00300000" mode = "C___" clusterid = "2" psegname = "PSEG_RAM" >
261                <vobj name = "ptab"        type = "PTAB" length = "0x00012000" align = "13" />
262            </vseg>
263            <vseg name = "seg_stack"       vbase = "0x00010000" mode = "C_WU" clusterid = "2" psegname = "PSEG_RAM" >
264                <vobj name = "stack"       type = "BUFFER" length = "0x00010000" /> 
265                <vobj name = "heap"        type = "BUFFER" length = "0x00010000" /> 
266            </vseg>
267
268            <task name = "main_pgcd" clusterid = "2" proclocid = "0" stackname = "stack" heapname = "heap" startid = "0" usetty = "1" />
269        </vspace>
270
271        <vspace name = "display" startname = "disp_data" >
272            <vseg name = "seg_data"        vbase = "0x00800000" mode = "C_WU" clusterid = "3" psegname = "PSEG_RAM" >
273                <vobj name = "disp_data"   type = "ELF" length = "0x00010000" binpath = "build/display/display.elf" />
274                        </vseg>
275            <vseg name = "seg_code"        vbase = "0x00400000" mode = "CX_U" clusterid = "3" psegname = "PSEG_RAM" >
276                <vobj name = "disp_code"   type = "ELF" length = "0x00010000" binpath = "build/display/display.elf" />
277            </vseg>
278            <vseg name = "seg_ptab"        vbase = "0x00300000" mode = "C___" clusterid = "3" psegname = "PSEG_RAM" >
279                <vobj name = "ptab"        type = "PTAB" length  = "0x00012000" align   = "13" />
280            </vseg>
281            <vseg name = "seg_stack"       vbase = "0x00010000" mode = "C_WU" clusterid = "3" psegname = "PSEG_RAM" >
282                <vobj name = "stack"       type = "BUFFER" length = "0x00010000" />
283                <vobj name = "heap"        type = "BUFFER" length = "0x00010000" />
284            </vseg>
285
286            <task name = "main_display" clusterid = "3" proclocid = "0" stackname = "stack" heapname = "heap" startid = "0" usetty = "1" usedma = "1" />
287        </vspace>
288    </vspaceset>
289</mapping_info>
Note: See TracBrowser for help on using the repository browser.