source: soft/giet_vm/mappings/1c_4p_gameoflife.xml @ 251

Last change on this file since 251 was 251, checked in by devigne, 11 years ago

Introducing a new application : Game Of Life (Triggers several update coherency

messages).

Use 1c_4p_gameoflife.xml
File size: 9.7 KB
Line 
1<?xml version="1.0"?>
2
3<mapping_info   signature = "0xdeadbeef" name = "1c_4p_gameoflife" cluster_x = "1" cluster_y = "1" vspaces  = "1" >
4
5    <clusterset>
6        <cluster index  = "0" >
7
8*** RAM, ROM and Peripherals used in the hardware architecture
9
10            <pseg name = "PSEG_RAM"  type  = "RAM"  base = "0x0000000000" length = "0x0010000000" />
11            <pseg name = "PSEG_XICU" type  = "PERI" base = "0x00B0000000" length = "0x0000001000" />
12            <pseg name = "PSEG_DMA"  type  = "PERI" base = "0x00B1000000" length = "0x0000001000" />
13            <pseg name = "PSEG_FBF"  type  = "PERI" base = "0x00B2000000" length = "0x0000200000" />
14            <pseg name = "PSEG_IOC"  type  = "PERI" base = "0x00B3000000" length = "0x0000001000" />
15            <pseg name = "PSEG_TTY"  type  = "PERI" base = "0x00B4000000" length = "0x0000001000" />
16            <pseg name = "PSEG_NIC"  type  = "PERI" base = "0x00B5000000" length = "0x0000021000" />
17            <pseg name = "PSEG_ROM"  type  = "ROM"  base = "0x00BFC00000" length = "0x0000100000" />
18             
19*** Peripherals unused in the hardware architecture
20
21
22            <proc index = "0" >
23                <irq type = "PTI"  icuid = "0"  isr = "ISR_SWITCH" /> 
24                <irq type = "HARD" icuid = "8"  isr = "ISR_DMA" channel = "0" /> 
25                <irq type = "HARD" icuid = "9"  isr = "ISR_DMA" channel = "1" /> 
26                <irq type = "HARD" icuid = "10" isr = "ISR_DMA" channel = "2" /> 
27                <irq type = "HARD" icuid = "11" isr = "ISR_DMA" channel = "3" /> 
28                <irq type = "HARD" icuid = "12" isr = "ISR_DMA" channel = "4" /> 
29                <irq type = "HARD" icuid = "13" isr = "ISR_DMA" channel = "5" /> 
30                <irq type = "HARD" icuid = "14" isr = "ISR_DMA" channel = "6" /> 
31                <irq type = "HARD" icuid = "15" isr = "ISR_DMA" channel = "7" /> 
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            <proc index = "1" >
51                <irq type = "PTI" icuid = "1" isr = "ISR_SWITCH" />
52            </proc>
53
54            <proc index = "2" >
55                <irq type = "PTI" icuid = "2" isr = "ISR_SWITCH" />
56            </proc>
57
58            <proc    index  = "3" >
59                <irq type = "PTI" icuid = "3" isr = "ISR_SWITCH" />
60            </proc>
61
62            <periph type = "IOC" psegname = "PSEG_IOC" channels  = "1" /> 
63            <periph type = "NIC" psegname = "PSEG_NIC" channels  = "8" /> 
64            <periph type = "TTY" psegname = "PSEG_TTY" channels  = "2" /> 
65            <periph type = "DMA" psegname = "PSEG_DMA" channels  = "1" /> 
66            <periph type = "XICU" psegname = "PSEG_XICU" channels  = "5" /> 
67            <periph type = "FBF" psegname = "PSEG_FBF" /> 
68
69        </cluster>
70    </clusterset>
71
72    <globalset> 
73
74*** Global vsegs used in the boot phase
75
76
77        <vseg name = "seg_boot_code"      vbase = "0xBFC00000" mode = "CXW_" clusterid = "0" psegname = "PSEG_ROM" ident = "1" >
78            <vobj name = "boot_code"      type = "ELF" length = "0x00008000" binpath    = "build/boot/boot.elf" />
79        </vseg>
80        <vseg name = "seg_boot_data"      vbase = "0x00000000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
81            <vobj name = "boot_data"      type = "ELF" length = "0x00001000" binpath    = "build/boot/boot.elf" />
82        </vseg>
83        <vseg name = "seg_boot_stack"     vbase = "0x00001000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
84            <vobj name = "boot_stack"     type = "BUFFER" length = "0x00003000" />
85        </vseg>
86        <vseg name = "seg_boot_mapping"   vbase = "0x00004000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
87            <vobj name = "boot_mapping"   type = "BLOB" length  = "0x00004000" binpath  = "map.bin" />
88        </vseg>
89
90*** Global vsegs used by the kernel
91
92        <vseg name = "seg_kernel_code"  vbase = "0x80000000" mode = "CX__" clusterid = "0" psegname = "PSEG_RAM" >
93            <vobj name = "kernel_code"  type = "ELF" length  = "0x00010000" binpath     = "build/sys/sys.elf" />
94        </vseg>
95        <vseg name = "seg_kernel_data"  vbase = "0x80020000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" >
96            <vobj name = "kernel_data"  type = "ELF" length  = "0x00040000" binpath     = "build/sys/sys.elf" />
97        </vseg>
98        <vseg name = "seg_kernel_uncdata"   vbase = "0x80080000" mode = "__W_" clusterid = "0" psegname = "PSEG_RAM" >
99            <vobj name = "kernel_uncdata"   type = "ELF" length  = "0x00010000" binpath = "build/sys/sys.elf" />
100        </vseg>
101        <vseg name = "seg_kernel_init"  vbase = "0x80090000" mode = "CX__" clusterid = "0" psegname = "PSEG_RAM" >
102            <vobj name = "kernel_init"  type = "ELF" length  = "0x00010000" binpath     = "build/sys/sys.elf" />
103        </vseg>
104
105*** Frame buffer (up to 2 Mbytes)
106
107        <vseg name = "seg_fbf"            vbase = "0xB2000000" mode = "__W_" clusterid = "0" psegname = "PSEG_FBF" ident = "1" >
108            <vobj name = "fbf"            type = "PERI" length  = "0x00004000" />
109        </vseg>
110
111*** XICU / A[31:28] = 0xE
112        <vseg name = "seg_icu"          vbase = "0xE0000000" mode = "__W_" clusterid = "0" psegname = "PSEG_XICU" >
113            <vobj name = "icu"          type = "PERI" length  = "0x00001000" />
114        </vseg>
115
116*** ioc
117        <vseg name = "seg_ioc"            vbase = "0xB3000000" mode = "__W_" clusterid = "0" psegname = "PSEG_IOC" ident = "1" >
118            <vobj name = "ioc"            type = "PERI" length  = "0x00001000" />
119        </vseg>
120
121*** tty
122        <vseg name = "seg_tty"            vbase = "0xB4000000" mode = "__W_" clusterid = "0" psegname = "PSEG_TTY" ident = "1" >
123                        <vobj name = "tty"            type = "PERI" length  = "0x00001000" />
124        </vseg>
125
126*** DMA / A[31:28] = 0xD
127        <vseg name = "seg_dma"          vbase = "0xD0000000" mode = "__W_" clusterid = "0" psegname = "PSEG_DMA" >
128            <vobj name = "dma"          type = "PERI" length  = "0x00001000" />
129        </vseg>
130
131*** Replicated schedulers / A[31:28] = 0xF
132        <vseg name = "seg_sched"        vbase = "0xF0000000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" >
133            <vobj name = "sched"      type = "SCHED" length  = "0x00004000" />
134        </vseg>
135
136    </globalset> 
137
138    <vspaceset>
139
140        <vspace name = "gameoflife" startname = "data" >
141            <vseg name = "seg_data"        vbase = "0x00800000" mode = "C_WU" clusterid = "0" psegname = "PSEG_RAM" >
142                <vobj name = "data"        type = "ELF" length = "0x00010000" binpath = "build/gameoflife/gameoflife.elf" />
143            </vseg>
144                       
145            <vseg name = "seg_ptab"        vbase = "0x00300000" mode = "C___" clusterid = "0" psegname = "PSEG_RAM" >
146                <vobj name = "ptab"        type = "PTAB" length = "0x00012000" align = "13" />
147            </vseg>
148                       
149            <vseg name = "seg_code"        vbase = "0x00400000" mode = "CX_U" clusterid = "0" psegname = "PSEG_RAM" >
150                <vobj name = "code"        type = "ELF" length = "0x00010000" binpath = "build/gameoflife/gameoflife.elf" />
151            </vseg>
152                       
153            <vseg name = "seg_stack_0"     vbase = "0x00020000" mode = "C_WU" clusterid = "0" psegname = "PSEG_RAM" >
154                <vobj name = "stack_0"     type = "BUFFER" length = "0x00008000" /> 
155            </vseg>
156
157            <vseg name = "seg_stack_1"     vbase = "0x00030000" mode = "C_WU" clusterid = "0" psegname = "PSEG_RAM" >
158                <vobj name = "stack_1"     type = "BUFFER" length = "0x00008000" /> 
159            </vseg>
160           
161            <vseg name = "seg_stack_2"     vbase = "0x00040000" mode = "C_WU" clusterid = "0" psegname = "PSEG_RAM" >
162                <vobj name = "stack_2"     type = "BUFFER" length = "0x00008000" /> 
163            </vseg>
164           
165            <vseg name = "seg_stack_3"     vbase = "0x00050000" mode = "C_WU" clusterid = "0" psegname = "PSEG_RAM" >
166                <vobj name = "stack_3"     type = "BUFFER" length = "0x00008000" /> 
167            </vseg>
168         
169            <task name = "main_gameoflife_0" clusterid = "0" proclocid = "0" stackname = "stack_0" startid = "0" usetty = "1" />
170            <task name = "main_gameoflife_1" clusterid = "0" proclocid = "1" stackname = "stack_1" startid = "0" usetty = "0" />
171            <task name = "main_gameoflife_2" clusterid = "0" proclocid = "2" stackname = "stack_2" startid = "0" usetty = "0" />
172            <task name = "main_gameoflife_3" clusterid = "0" proclocid = "3" stackname = "stack_3" startid = "0" usetty = "0" />
173
174        </vspace>
175    </vspaceset>
176</mapping_info>
Note: See TracBrowser for help on using the repository browser.