source: soft/giet_vm/mappings/1c_4p_four.xml @ 219

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

New components are now mandotory in the XML description:

The files giet_vsegs.ld and hard_config.h are now autogenerated by the xml2bin tool.
File size: 14.5 KB
RevLine 
[208]1<?xml version="1.0"?>
2
[215]3<mapping_info   signature = "0xdeadbeef" name = "1c_4p_four" cluster_x = "1" cluster_y = "1" vspaces  = "4" >
[208]4
5*** This section describes an instance of the "caba_vgsb_xicu_mmu" generic architecture
6*** containing 4 processors in one single cluster.
7
8    <clusterset>
9        <cluster index  = "0" >
10
11*** RAM, ROM and Peripherals used in the hardware architecture
12
13            <pseg name = "PSEG_RAM" type = "RAM"  base = "0x00000000" length = "0x00C00000" />
14            <pseg name = "PSEG_ROM" type = "ROM"  base = "0xBFC00000" length = "0x00010000" /> 
15            <pseg name = "PSEG_FBF" type = "PERI" base = "0x00D00000" length = "0x00200000" /> 
16            <pseg name = "PSEG_ICU" type = "PERI" base = "0x00F00000" length = "0x00001000" /> 
17            <pseg name = "PSEG_IOC" type = "PERI" base = "0x00F10000" length = "0x00001000" /> 
18            <pseg name = "PSEG_TTY" type = "PERI" base = "0x00F20000" length = "0x00001000" /> 
19            <pseg name = "PSEG_DMA" type = "PERI" base = "0x00F30000" length = "0x00008000" /> 
20            <pseg name = "PSEG_NIC" type = "PERI" base = "0x00F80000" length = "0x00021000" /> 
21             
22*** Peripherals unused in the hardware architecture
23
24            <pseg name = "PSEG_TIM" type = "PERI" base = "0x00F40000" length = "0x00001000" /> 
25            <pseg name = "PSEG_GCD" type = "PERI" base = "0x00F50000" length = "0x00001000" /> 
26            <pseg name = "PSEG_COP" type = "PERI" base = "0x00F60000" length = "0x00001000" /> 
27            <pseg name = "PSEG_IOB" type = "PERI" base = "0x00FF0000" length = "0x00001000" /> 
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 = "9"  isr = "ISR_DMA" channel = "1" /> 
33                <irq type = "HARD" icuid = "10" isr = "ISR_DMA" channel = "2" /> 
34                <irq type = "HARD" icuid = "11" isr = "ISR_DMA" channel = "3" /> 
35                <irq type = "HARD" icuid = "12" isr = "ISR_DMA" channel = "4" /> 
36                <irq type = "HARD" icuid = "13" isr = "ISR_DMA" channel = "5" /> 
37                <irq type = "HARD" icuid = "14" isr = "ISR_DMA" channel = "6" /> 
38                <irq type = "HARD" icuid = "15" isr = "ISR_DMA" channel = "7" /> 
39                <irq type = "HARD" icuid = "16" isr = "ISR_TTY" channel = "0" /> 
40                <irq type = "HARD" icuid = "17" isr = "ISR_TTY" channel = "1" /> 
41                <irq type = "HARD" icuid = "18" isr = "ISR_TTY" channel = "2" /> 
42                <irq type = "HARD" icuid = "19" isr = "ISR_TTY" channel = "3" /> 
43                <irq type = "HARD" icuid = "20" isr = "ISR_TTY" channel = "4" /> 
44                <irq type = "HARD" icuid = "21" isr = "ISR_TTY" channel = "5" /> 
45                <irq type = "HARD" icuid = "22" isr = "ISR_TTY" channel = "6" /> 
46                <irq type = "HARD" icuid = "23" isr = "ISR_TTY" channel = "7" /> 
47                <irq type = "HARD" icuid = "24" isr = "ISR_TTY" channel = "8" /> 
48                <irq type = "HARD" icuid = "25" isr = "ISR_TTY" channel = "9" /> 
49                <irq type = "HARD" icuid = "26" isr = "ISR_TTY" channel = "10" /> 
50                <irq type = "HARD" icuid = "27" isr = "ISR_TTY" channel = "11" /> 
51                <irq type = "HARD" icuid = "28" isr = "ISR_TTY" channel = "12" /> 
52                <irq type = "HARD" icuid = "29" isr = "ISR_TTY" channel = "13" /> 
53                <irq type = "HARD" icuid = "30" isr = "ISR_TTY" channel = "14" /> 
54                <irq type = "HARD" icuid = "31" isr = "ISR_IOC" /> 
55            </proc>
56
57            <proc index = "1" >
58                <irq type = "HARD" icuid = "1" isr = "ISR_SWITCH" />
59            </proc>
60
61            <proc index = "2" >
62                <irq type = "HARD" icuid = "2" isr = "ISR_SWITCH" />
63            </proc>
64
65            <proc    index  = "3" >
66                <irq type = "HARD" icuid = "3" isr = "ISR_SWITCH" />
67            </proc>
68
69            <periph type = "IOC" psegname = "PSEG_IOC" channels  = "1" /> 
70            <periph type = "NIC" psegname = "PSEG_NIC" channels  = "8" /> 
71            <periph type = "TTY" psegname = "PSEG_TTY" channels  = "8" /> 
72            <periph type = "DMA" psegname = "PSEG_DMA" channels  = "1" /> 
[215]73            <periph type = "TIM" psegname = "PSEG_TIM" channels  = "4" /> 
74            <periph type = "XICU" psegname = "PSEG_ICU" channels  = "5" /> 
[208]75            <periph type = "FBF" psegname = "PSEG_FBF" /> 
76
77        </cluster>
78    </clusterset>
79
80    <globalset> 
81
82*** Global vsegs used in the boot phase
83
84        <vseg name = "seg_boot_code"    vbase = "0xBFC00000" mode = "CXW_" clusterid = "0" psegname = "PSEG_ROM" ident = "1" >
85            <vobj name = "boot_code"    type = "ELF" length  = "0x00010000" binpath = "build/boot/boot.elf" />
86        </vseg>
87        <vseg name = "seg_boot_stack"   vbase = "0xBFC08000" mode = "C_W_" clusterid = "0" psegname = "PSEG_ROM" ident = "1" > 
88            <vobj name = "boot_stack"   type = "BUFFER" length  = "0x00004000" />
89        </vseg>
90        <vseg name = "seg_boot_mapping" vbase = "0xBFC0c000" mode = "C_W_" clusterid = "0" psegname = "PSEG_ROM" ident = "1" > 
91            <vobj name = "boot_mapping" type = "BLOB" length  = "0x00004000" binpath    = "map.bin" />
92        </vseg>
93
94*** Global vsegs used by the kernel
95
96        <vseg name = "seg_kernel_code"  vbase = "0x80000000" mode = "CX__" clusterid = "0" psegname = "PSEG_RAM" > 
97            <vobj name = "kernel_code"  type = "ELF" length  = "0x00010000" binpath     = "build/sys/sys.elf" /> 
98        </vseg>
99        <vseg name = "seg_kernel_data"  vbase = "0x80010000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" > 
100            <vobj name = "kernel_data"  type = "ELF" length  = "0x00010000" binpath     = "build/sys/sys.elf" /> 
101        </vseg>
102        <vseg name = "seg_kernel_unc"   vbase = "0x80080000" mode = "__W_" clusterid = "0" psegname = "PSEG_RAM" > 
103            <vobj name = "kernel_unc"   type = "ELF" length  = "0x00010000" binpath     = "build/sys/sys.elf" /> 
104        </vseg>
105        <vseg name = "seg_kernel_init"  vbase = "0x80090000" mode = "CX__" clusterid = "0" psegname = "PSEG_RAM" > 
106            <vobj name = "kernel_init"  type = "ELF" length  = "0x00100000" binpath     = "build/sys/sys.elf" />
107        </vseg>
108
109*** Frame buffer (up to 2 Mbytes)
110
111        <vseg name = "seg_fbf"          vbase = "0x00D00000" mode = "__W_" clusterid = "0" psegname = "PSEG_FBF" ident = "1" > 
112            <vobj name = "fbf"          type = "PERI" length  = "0x00200000" /> 
113        </vseg>
114
115*** Peripherals (4 Kbytes per peripheral / 4 Kbytes per channel for the DMA / 16 Kbytes per channel + 4Kbytes for NIC
116
117        <vseg name = "seg_icu"          vbase = "0x00F00000" mode = "__W_" clusterid = "0" psegname = "PSEG_ICU" ident = "1" > 
118            <vobj name = "icu"          type = "PERI" length  = "0x00001000" /> 
119        </vseg>
120        <vseg name = "seg_ioc"          vbase = "0x00F10000" mode = "__W_" clusterid = "0" psegname = "PSEG_IOC" ident = "1" > 
121            <vobj name = "ioc"          type = "PERI" length  = "0x00001000" /> 
122        </vseg>
123        <vseg name = "seg_tty"          vbase = "0x00F20000" mode = "__W_" clusterid = "0" psegname = "PSEG_TTY" ident = "1" > 
124            <vobj name = "tty"          type = "PERI" length  = "0x00001000" />
125        </vseg>
126        <vseg name = "seg_dma"          vbase = "0x00F30000" mode = "__W_" clusterid = "0" psegname = "PSEG_DMA" ident = "1" > 
127            <vobj name = "dma"          type = "PERI" length  = "0x00008000" /> 
128        </vseg>
129        <vseg name = "seg_tim"          vbase = "0x00F40000" mode = "__W_" clusterid = "0" psegname = "PSEG_TIM" ident = "1" > 
130            <vobj name = "tim"          type = "PERI" length  = "0x00001000" />
131        </vseg>
132        <vseg name = "seg_gcd"          vbase = "0x00F50000" mode = "__W_" clusterid = "0" psegname = "PSEG_GCD" ident = "1" > 
133            <vobj name = "gcd"          type = "PERI" length  = "0x00001000" />
134        </vseg>
135        <vseg name = "seg_iob"          vbase = "0x00FF0000" mode = "__W_" clusterid = "0" psegname = "PSEG_IOB" ident = "1" > 
136            <vobj name = "iob"          type = "PERI" length  = "0x00001000" />
137        </vseg>
138        <vseg name = "seg_nic"          vbase = "0x00FA0000" mode = "__W_" clusterid = "0" psegname = "PSEG_NIC" ident = "1" > 
139            <vobj name = "nic"          type = "PERI" length  = "0x00001000" />
140        </vseg>
141
142    </globalset> 
143
144    <vspaceset>
145
146        <vspace name = "router" startname = "data" >
147
148            <vseg name = "seg_data"     vbase = "0x00800000" mode = "__WU" clusterid = "0" psegname  = "PSEG_RAM" > 
149                <vobj name = "data"     type = "ELF" length  = "0x00010000" binpath = "build/router/router.elf" /> 
150            </vseg>
151            <vseg name = "seg_code"     vbase = "0x00400000" mode = "CX_U" clusterid = "0" psegname  = "PSEG_RAM" > 
152                <vobj name = "code"     type = "ELF" length  = "0x00010000" binpath = "build/router/router.elf" /> 
153            </vseg>
154            <vseg name = "seg_ptab"     vbase = "0x00300000" mode = "C___" clusterid = "0" psegname  = "PSEG_RAM" > 
155                <vobj name = "ptab"     type = "PTAB" length  = "0x00012000" align   = "13" /> 
156            </vseg>
157            <vseg name = "seg_stack_p"  vbase = "0x00010000" mode = "C_WU" clusterid = "0" psegname  = "PSEG_RAM" > 
158                <vobj name = "stack_p"  type = "BUFFER" length  = "0x00010000" />
159                        </vseg>
160            <vseg name = "seg_stack_c"  vbase = "0x00020000" mode = "C_WU" clusterid = "0" psegname  = "PSEG_RAM" >
161                <vobj name = "stack_c"  type = "BUFFER" length  = "0x00010000" />
162                                                </vseg>
163            <vseg name = "seg_stack_rA" vbase = "0x00030000" mode = "C_WU" clusterid = "0" psegname  = "PSEG_RAM" >
164                <vobj name = "stack_rA" type = "BUFFER" length  = "0x00010000" /> 
165            </vseg>
166            <vseg name = "seg_stack_rB" vbase = "0x00040000" mode = "C_WU" clusterid = "0" psegname  = "PSEG_RAM" >
167                <vobj name = "stack_rB" type = "BUFFER" length  = "0x00010000" /> 
168            </vseg>
169            <vseg name = "seg_mwmrs"    vbase = "0x00050000" mode = "__WU" clusterid = "0" psegname  = "PSEG_RAM" >
170                <vobj name = "mwmr_in"  type = "MWMR" length  = "0x00000020" init = "1" />
171                <vobj name = "mwmr_out" type = "MWMR" length  = "0x00000020" init = "1" />
172            </vseg>
173
174            <task name = "producer" clusterid = "0" proclocid = "0" stackname = "stack_p"  startid = "0" usetty = "1" />
175            <task name = "consumer" clusterid = "0" proclocid = "1" stackname = "stack_c"  startid = "1" usetty = "1" />
176            <task name = "router_A" clusterid = "0" proclocid = "2" stackname = "stack_rA" startid = "2" usetty = "1" />
177            <task name = "router_B" clusterid = "0" proclocid = "3" stackname = "stack_rB" startid = "2" usetty = "1" />
178
179        </vspace>
180
181        <vspace name = "hello" startname = "data" >
182
183            <vseg name = "seg_data"     vbase = "0x00800000" mode = "C_WU" clusterid = "0" psegname  = "PSEG_RAM" > 
184                <vobj name = "data"     type = "ELF" length    = "0x00010000" binpath = "build/hello/hello.elf" />
185            </vseg>
186            <vseg name = "seg_code"     vbase = "0x00400000" mode = "CX_U" clusterid = "0" psegname  = "PSEG_RAM" > 
187                <vobj name = "code"     type = "ELF" length    = "0x00010000" binpath = "build/hello/hello.elf" />
188            </vseg>
189            <vseg name = "seg_ptab"     vbase = "0x00300000" mode = "C___" clusterid = "0" psegname  = "PSEG_RAM" > 
190                <vobj name = "ptab"     type = "PTAB" length   = "0x00012000" align   = "13" />
191            </vseg>
192            <vseg name = "seg_stack"    vbase = "0x00010000" mode = "C_WU" clusterid = "0" psegname  = "PSEG_RAM" > 
193                <vobj name = "stack"    type = "BUFFER" length  = "0x00010000" />
194            </vseg>
195
196*** allocate NIC channel 2 => base = 0x00F80000 / offset = 0x8000
197
198            <vseg name = "seg_nic_2"    vbase = "0x00F88000" mode = "__WU" clusterid = "0" psegname  = "PSEG_NIC" ident = "1" >
199                <vobj name = "nic_2"    type = "BUFFER" length  = "0x00004000" />
200            </vseg>
201
202            <task name = "main" clusterid = "0" proclocid = "2" stackname = "stack" startid = "0" usetty = "1" />
203        </vspace>
204
205        <vspace name = "pgcd" startname = "data" >
206
207            <vseg name = "seg_data"     vbase = "0x00800000" mode = "C_WU" clusterid = "0" psegname  = "PSEG_RAM" > 
208                <vobj name = "data"     type = "ELF" length    = "0x00010000" binpath = "build/pgcd/pgcd.elf" />
209            </vseg>
210            <vseg name = "seg_code"     vbase = "0x00400000" mode = "CX_U" clusterid = "0" psegname  = "PSEG_RAM" > 
211                <vobj name = "code"     type = "ELF" length    = "0x00010000" binpath = "build/pgcd/pgcd.elf" />
212            </vseg>
213            <vseg name = "seg_ptab"     vbase = "0x00300000" mode = "C___" clusterid = "0" psegname  = "PSEG_RAM" > 
214                <vobj name = "ptab"     type = "PTAB" length   = "0x00012000" align   = "13" />
215            </vseg>
216            <vseg name = "seg_stack"    vbase = "0x00010000" mode = "C_WU" clusterid = "0" psegname  = "PSEG_RAM" > 
217                <vobj name = "stack"    type = "BUFFER" length  = "0x00010000" />
218            </vseg>
219
220            <task name = "main" clusterid = "0" proclocid = "3" stackname = "stack" startid = "0" usetty = "1" />
221        </vspace>
222
223        <vspace name = "display" startname = "data" >
224
225            <vseg name = "seg_data"     vbase = "0x00800000" mode = "C_WU" clusterid = "0" psegname  = "PSEG_RAM" > 
226                <vobj name = "data"     type = "ELF" length    = "0x00010000" binpath = "build/display/display.elf" />
227            </vseg>
228            <vseg name = "seg_code"     vbase = "0x00400000" mode = "CX_U" clusterid = "0" psegname  = "PSEG_RAM" > 
229                <vobj name = "code"     type = "ELF" length    = "0x00010000" binpath = "build/display/display.elf" />
230            </vseg>
231            <vseg name = "seg_ptab"     vbase = "0x00300000" mode = "C___" clusterid = "0" psegname  = "PSEG_RAM" > 
232                <vobj name = "ptab"     type = "PTAB" length   = "0x00012000" align   = "13" />
233            </vseg>
234            <vseg name = "seg_stack"    vbase = "0x00010000" mode = "C_WU" clusterid = "0" psegname  = "PSEG_RAM" > 
235                <vobj name = "stack"    type = "BUFFER" length  = "0x00010000" />
236            </vseg>
237
238            <task name = "main" clusterid = "0" proclocid = "3" stackname = "stack" startid = "0" usetty = "1" usefbdma = "1" />
239        </vspace>
240
241    </vspaceset>
242</mapping_info>
Note: See TracBrowser for help on using the repository browser.