1 | <?xml version="1.0"?> |
---|
2 | |
---|
3 | <mapping_info signature = "0xdeadbeef" name = "4c_1p_display" cluster_x = "2" cluster_y = "2" vspaces = "1" > |
---|
4 | |
---|
5 | <clusterset> |
---|
6 | |
---|
7 | <cluster index = "0" > |
---|
8 | |
---|
9 | <pseg name = "PSEG_RAM" type = "RAM" base = "0x00000000" length = "0x00C00000" /> |
---|
10 | <pseg name = "PSEG_XICU" type = "PERI" base = "0x00F00000" length = "0x00001000" /> |
---|
11 | <pseg name = "PSEG_DMA" type = "PERI" base = "0x00F30000" length = "0x00008000" /> |
---|
12 | |
---|
13 | <proc index = "0" > |
---|
14 | <irq type = "HARD" icuid = "0" isr = "ISR_SWITCH" /> |
---|
15 | <irq type = "HARD" icuid = "8" isr = "ISR_DMA" channel = "0" /> |
---|
16 | </proc> |
---|
17 | |
---|
18 | <periph type = "DMA" psegname = "PSEG_DMA" channels = "1" /> |
---|
19 | <periph type = "XICU" psegname = "PSEG_XICU" channels = "1" /> |
---|
20 | |
---|
21 | </cluster> |
---|
22 | <cluster index = "1" > |
---|
23 | |
---|
24 | <pseg name = "PSEG_RAM" type = "RAM" base = "0x40000000" length = "0x00C00000" /> |
---|
25 | <pseg name = "PSEG_XICU" type = "PERI" base = "0x40F00000" length = "0x00001000" /> |
---|
26 | <pseg name = "PSEG_DMA" type = "PERI" base = "0x40F30000" length = "0x00008000" /> |
---|
27 | |
---|
28 | <proc index = "0" > |
---|
29 | <irq type = "HARD" icuid = "0" isr = "ISR_SWITCH" /> |
---|
30 | <irq type = "HARD" icuid = "8" isr = "ISR_DMA" channel = "0" /> |
---|
31 | </proc> |
---|
32 | |
---|
33 | <periph type = "DMA" psegname = "PSEG_DMA" channels = "1" /> |
---|
34 | <periph type = "XICU" psegname = "PSEG_XICU" channels = "1" /> |
---|
35 | |
---|
36 | </cluster> |
---|
37 | <cluster index = "2" > |
---|
38 | |
---|
39 | <pseg name = "PSEG_RAM" type = "RAM" base = "0x80000000" length = "0x00C00000" /> |
---|
40 | <pseg name = "PSEG_XICU" type = "PERI" base = "0x80F00000" length = "0x00001000" /> |
---|
41 | <pseg name = "PSEG_DMA" type = "PERI" base = "0x80F30000" length = "0x00008000" /> |
---|
42 | |
---|
43 | *** Boot ROM and non replicated peripherals |
---|
44 | |
---|
45 | <pseg name = "PSEG_FBF" type = "PERI" base = "0xBFD00000" length = "0x00200000" /> |
---|
46 | <pseg name = "PSEG_TTY" type = "PERI" base = "0xBFF20000" length = "0x00001000" /> |
---|
47 | <pseg name = "PSEG_IOC" type = "PERI" base = "0xBFF10000" length = "0x00001000" /> |
---|
48 | <pseg name = "PSEG_NIC" type = "PERI" base = "0xBFF80000" length = "0x00021000" /> |
---|
49 | <pseg name = "PSEG_ROM" type = "ROM" base = "0xBFC00000" length = "0x00100000" /> |
---|
50 | |
---|
51 | <proc index = "0" > |
---|
52 | <irq type = "HARD" icuid = "0" isr = "ISR_SWITCH" /> |
---|
53 | <irq type = "HARD" icuid = "8" isr = "ISR_DMA" channel = "0" /> |
---|
54 | <irq type = "HARD" icuid = "16" isr = "ISR_TTY" channel = "0" /> |
---|
55 | <irq type = "HARD" icuid = "17" isr = "ISR_TTY" channel = "1" /> |
---|
56 | <irq type = "HARD" icuid = "18" isr = "ISR_TTY" channel = "2" /> |
---|
57 | <irq type = "HARD" icuid = "19" isr = "ISR_TTY" channel = "3" /> |
---|
58 | <irq type = "HARD" icuid = "20" isr = "ISR_TTY" channel = "4" /> |
---|
59 | <irq type = "HARD" icuid = "21" isr = "ISR_TTY" channel = "5" /> |
---|
60 | <irq type = "HARD" icuid = "22" isr = "ISR_TTY" channel = "6" /> |
---|
61 | <irq type = "HARD" icuid = "23" isr = "ISR_TTY" channel = "7" /> |
---|
62 | <irq type = "HARD" icuid = "24" isr = "ISR_TTY" channel = "8" /> |
---|
63 | <irq type = "HARD" icuid = "25" isr = "ISR_TTY" channel = "9" /> |
---|
64 | <irq type = "HARD" icuid = "26" isr = "ISR_TTY" channel = "10" /> |
---|
65 | <irq type = "HARD" icuid = "27" isr = "ISR_TTY" channel = "11" /> |
---|
66 | <irq type = "HARD" icuid = "28" isr = "ISR_TTY" channel = "12" /> |
---|
67 | <irq type = "HARD" icuid = "29" isr = "ISR_TTY" channel = "13" /> |
---|
68 | <irq type = "HARD" icuid = "30" isr = "ISR_TTY" channel = "14" /> |
---|
69 | <irq type = "HARD" icuid = "31" isr = "ISR_IOC" /> |
---|
70 | </proc> |
---|
71 | |
---|
72 | <periph type = "DMA" psegname = "PSEG_DMA" channels = "1" /> |
---|
73 | <periph type = "XICU" psegname = "PSEG_XICU" channels = "1" /> |
---|
74 | <periph type = "IOC" psegname = "PSEG_IOC" channels = "1" /> |
---|
75 | <periph type = "TTY" psegname = "PSEG_TTY" channels = "2" /> |
---|
76 | <periph type = "NIC" psegname = "PSEG_NIC" channels = "8" /> |
---|
77 | <periph type = "FBF" psegname = "PSEG_FBF" /> |
---|
78 | |
---|
79 | </cluster> |
---|
80 | <cluster index = "3" > |
---|
81 | |
---|
82 | <pseg name = "PSEG_RAM" type = "RAM" base = "0xC0000000" length = "0x00C00000" /> |
---|
83 | <pseg name = "PSEG_XICU" type = "PERI" base = "0xC0F00000" length = "0x00001000" /> |
---|
84 | <pseg name = "PSEG_DMA" type = "PERI" base = "0xC0F30000" length = "0x00008000" /> |
---|
85 | |
---|
86 | <proc index = "0" > |
---|
87 | <irq type = "HARD" icuid = "0" isr = "ISR_SWITCH" /> |
---|
88 | <irq type = "HARD" icuid = "8" isr = "ISR_DMA" channel = "0" /> |
---|
89 | </proc> |
---|
90 | |
---|
91 | <periph type = "DMA" psegname = "PSEG_DMA" channels = "1" /> |
---|
92 | <periph type = "XICU" psegname = "PSEG_XICU" channels = "1" /> |
---|
93 | </cluster> |
---|
94 | </clusterset> |
---|
95 | |
---|
96 | <globalset> |
---|
97 | <vseg name = "seg_boot_code" vbase = "0xbfc00000" mode = "CXW_" clusterid = "2" psegname = "PSEG_ROM" ident = "1" > |
---|
98 | <vobj name = "boot_code" type = "ELF" length = "0x00008000" binpath = "build/boot/boot.elf" /> |
---|
99 | </vseg> |
---|
100 | <vseg name = "seg_boot_stack" vbase = "0xbfc08000" mode = "C_W_" clusterid = "2" psegname = "PSEG_ROM" ident = "1" > |
---|
101 | <vobj name = "boot_stack" type = "BUFFER" length = "0x00004000" /> |
---|
102 | </vseg> |
---|
103 | <vseg name = "seg_boot_mapping" vbase = "0xbfc0c000" mode = "C_W_" clusterid = "2" psegname = "PSEG_ROM" ident = "1" > |
---|
104 | <vobj name = "boot_mapping" type = "BLOB" length = "0x00004000" binpath = "map.bin" /> |
---|
105 | </vseg> |
---|
106 | |
---|
107 | *** On voudrait répliquer le segment de code du systÚme (seg_kernel_code) dans tous les clusters... |
---|
108 | |
---|
109 | <vseg name = "seg_kernel_code" vbase = "0x80000000" mode = "CX__" clusterid = "0" psegname = "PSEG_RAM" > |
---|
110 | <vobj name = "kernel_code" type = "ELF" length = "0x00010000" binpath = "build/sys/sys.elf" /> |
---|
111 | </vseg> |
---|
112 | <vseg name = "seg_kernel_data" vbase = "0x80010000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" > |
---|
113 | <vobj name = "kernel_data" type = "ELF" length = "0x00040000" binpath = "build/sys/sys.elf" /> |
---|
114 | </vseg> |
---|
115 | <vseg name = "seg_kernel_uncdata" vbase = "0x80080000" mode = "__W_" clusterid = "0" psegname = "PSEG_RAM" > |
---|
116 | <vobj name = "kernel_uncdata" type = "ELF" length = "0x00010000" binpath = "build/sys/sys.elf" /> |
---|
117 | </vseg> |
---|
118 | <vseg name = "seg_kernel_init" vbase = "0x80090000" mode = "CX__" clusterid = "0" psegname = "PSEG_RAM" > |
---|
119 | <vobj name = "kernel_init" type = "ELF" length = "0x00010000" binpath = "build/sys/sys.elf" /> |
---|
120 | </vseg> |
---|
121 | |
---|
122 | *** Non replicated peripherals |
---|
123 | |
---|
124 | <vseg name = "seg_ioc" vbase = "0xbff10000" mode = "__W_" clusterid = "2" psegname = "PSEG_IOC" ident = "1" > |
---|
125 | <vobj name = "ioc" type = "PERI" length = "0x00001000" /> |
---|
126 | </vseg> |
---|
127 | <vseg name = "seg_tty" vbase = "0xbff20000" mode = "__W_" clusterid = "2" psegname = "PSEG_TTY" ident = "1" > |
---|
128 | <vobj name = "tty" type = "PERI" length = "0x00001000" /> |
---|
129 | </vseg> |
---|
130 | <vseg name = "seg_fbf" vbase = "0xbfd00000" mode = "__W_" clusterid = "2" psegname = "PSEG_FBF" ident = "1" > |
---|
131 | <vobj name = "fbf" type = "PERI" length = "0x00200000" /> |
---|
132 | </vseg> |
---|
133 | <vseg name = "seg_nic" vbase = "0xbff80000" mode = "__W_" clusterid = "2" psegname = "PSEG_NIC" ident = "1" > |
---|
134 | <vobj name = "nic" type = "PERI" length = "0x00021000" /> |
---|
135 | </vseg> |
---|
136 | |
---|
137 | *** On pourrait supprimer les vsegs associés aux composants XICU en les traitant comme les schedulers : |
---|
138 | *** accÚs en addresse physique et stockage de l'adresse de base de chaque XICU dans chaque processeur. |
---|
139 | *** On peut aussi définir un vseg factorisé en introduisant le CLUSTER_SIZE... |
---|
140 | |
---|
141 | <vseg name = "seg_icu_0" vbase = "0x00f00000" mode = "__W_" clusterid = "0" psegname = "PSEG_XICU" > |
---|
142 | <vobj name = "icu_0" type = "PERI" length = "0x00001000" /> |
---|
143 | </vseg> |
---|
144 | <vseg name = "seg_icu_1" vbase = "0x40f00000" mode = "__W_" clusterid = "1" psegname = "PSEG_XICU" > |
---|
145 | <vobj name = "icu_1" type = "PERI" length = "0x00001000" /> |
---|
146 | </vseg> |
---|
147 | <vseg name = "seg_icu_2" vbase = "0x80f00000" mode = "__W_" clusterid = "2" psegname = "PSEG_XICU" > |
---|
148 | <vobj name = "icu_2" type = "PERI" length = "0x00001000" /> |
---|
149 | </vseg> |
---|
150 | <vseg name = "seg_icu_3" vbase = "0xc0f00000" mode = "__W_" clusterid = "3" psegname = "PSEG_XICU" > |
---|
151 | <vobj name = "icu_3" type = "PERI" length = "0x00001000" /> |
---|
152 | </vseg> |
---|
153 | |
---|
154 | *** Il faudrait trouver un moyen de supprimer les vsegs associés aux composants DMA distribués, ou de les factoriser... |
---|
155 | |
---|
156 | <vseg name = "seg_dma_0" vbase = "0x00f30000" mode = "__W_" clusterid = "0" psegname = "PSEG_DMA" > |
---|
157 | <vobj name = "dma_0" type = "PERI" length = "0x00008000" /> |
---|
158 | </vseg> |
---|
159 | <vseg name = "seg_dma_1" vbase = "0x40f30000" mode = "__W_" clusterid = "1" psegname = "PSEG_DMA" > |
---|
160 | <vobj name = "dma_1" type = "PERI" length = "0x00008000" /> |
---|
161 | </vseg> |
---|
162 | <vseg name = "seg_dma_2" vbase = "0x80f30000" mode = "__W_" clusterid = "2" psegname = "PSEG_DMA" > |
---|
163 | <vobj name = "dma_2" type = "PERI" length = "0x00008000" /> |
---|
164 | </vseg> |
---|
165 | <vseg name = "seg_dma_3" vbase = "0xc0f30000" mode = "__W_" clusterid = "3" psegname = "PSEG_DMA" > |
---|
166 | <vobj name = "dma_3" type = "PERI" length = "0x00008000" /> |
---|
167 | </vseg> |
---|
168 | *** |
---|
169 | </globalset> |
---|
170 | |
---|
171 | <vspaceset> |
---|
172 | <vspace name = "display" startname = "data" > |
---|
173 | <vseg name = "seg_data" vbase = "0x00800000" mode = "C_WU" clusterid = "3" psegname = "PSEG_RAM" > |
---|
174 | <vobj name = "data" type = "ELF" length = "0x00010000" binpath = "build/display/display.elf" /> |
---|
175 | </vseg> |
---|
176 | <vseg name = "seg_ptab" vbase = "0x00300000" mode = "C___" clusterid = "3" psegname = "PSEG_RAM" > |
---|
177 | <vobj name = "ptab" type = "PTAB" length = "0x00012000" align = "13" /> |
---|
178 | </vseg> |
---|
179 | <vseg name = "seg_code" vbase = "0x00400000" mode = "CX_U" clusterid = "3" psegname = "PSEG_RAM" > |
---|
180 | <vobj name = "code" type = "ELF" length = "0x00010000" binpath = "build/display/display.elf" /> |
---|
181 | </vseg> |
---|
182 | <vseg name = "seg_stack" vbase = "0x00010000" mode = "C_WU" clusterid = "3" psegname = "PSEG_RAM" > |
---|
183 | <vobj name = "stack" type = "BUFFER" length = "0x00010000" /> |
---|
184 | </vseg> |
---|
185 | |
---|
186 | <task name = "main_display" clusterid = "3" proclocid = "0" stackname = "stack" startid = "0" usetty = "1" usefbdma = "1" /> |
---|
187 | </vspace> |
---|
188 | </vspaceset> |
---|
189 | </mapping_info> |
---|