##// END OF EJS Templates
HG_REPOSITORIES » LPP » INSTRUMENTATION » VHD_Lib
RSS

Clone from https://hephaistos.lpp.polytechnique.fr/rhodecode/HG_REPOSITORIES/LPP/INSTRUMENTATION/USERS/PELLION/VHD_Lib

Sync
jeandet -
r272:a63a22bc260d alexis
parent child
Show More
Show file before | Show file after | Hide comments
@@ -0,0 +1,335
1 #
2 # Automatically generated make config: don't edit
3 #
4 CONFIG_LEON3FT_PRESENT=y
5 CONFIG_HAS_SHARED_GRFPU=y
6
7 #
8 # Synthesis
9 #
10 # CONFIG_SYN_INFERRED is not set
11 # CONFIG_SYN_STRATIX is not set
12 # CONFIG_SYN_STRATIXII is not set
13 # CONFIG_SYN_STRATIXIII is not set
14 # CONFIG_SYN_CYCLONEIII is not set
15 # CONFIG_SYN_ALTERA is not set
16 # CONFIG_SYN_AXCEL is not set
17 # CONFIG_SYN_AXDSP is not set
18 # CONFIG_SYN_PROASIC is not set
19 # CONFIG_SYN_PROASICPLUS is not set
20 # CONFIG_SYN_PROASIC3 is not set
21 # CONFIG_SYN_PROASIC3E is not set
22 # CONFIG_SYN_PROASIC3L is not set
23 # CONFIG_SYN_IGLOO is not set
24 # CONFIG_SYN_FUSION is not set
25 # CONFIG_SYN_UT025CRH is not set
26 # CONFIG_SYN_UT130HBD is not set
27 # CONFIG_SYN_UT90NHBD is not set
28 # CONFIG_SYN_ATC18 is not set
29 # CONFIG_SYN_ATC18RHA is not set
30 # CONFIG_SYN_CMOS9SF is not set
31 # CONFIG_SYN_CUSTOM1 is not set
32 # CONFIG_SYN_EASIC90 is not set
33 # CONFIG_SYN_EASIC45 is not set
34 # CONFIG_SYN_IHP25 is not set
35 # CONFIG_SYN_IHP25RH is not set
36 # CONFIG_SYN_LATTICE is not set
37 # CONFIG_SYN_ECLIPSE is not set
38 # CONFIG_SYN_PEREGRINE is not set
39 # CONFIG_SYN_RH_LIB18T is not set
40 # CONFIG_SYN_RHUMC is not set
41 # CONFIG_SYN_SMIC13 is not set
42 # CONFIG_SYN_TM65GPLUS is not set
43 # CONFIG_SYN_TSMC90 is not set
44 # CONFIG_SYN_UMC is not set
45 # CONFIG_SYN_SPARTAN2 is not set
46 # CONFIG_SYN_SPARTAN3 is not set
47 # CONFIG_SYN_SPARTAN3E is not set
48 CONFIG_SYN_SPARTAN6=y
49 # CONFIG_SYN_VIRTEX is not set
50 # CONFIG_SYN_VIRTEXE is not set
51 # CONFIG_SYN_VIRTEX2 is not set
52 # CONFIG_SYN_VIRTEX4 is not set
53 # CONFIG_SYN_VIRTEX5 is not set
54 # CONFIG_SYN_VIRTEX6 is not set
55 # CONFIG_SYN_INFER_RAM is not set
56 # CONFIG_SYN_INFER_PADS is not set
57 # CONFIG_SYN_NO_ASYNC is not set
58 # CONFIG_SYN_SCAN is not set
59
60 #
61 # Clock generation
62 #
63 # CONFIG_CLK_INFERRED is not set
64 # CONFIG_CLK_HCLKBUF is not set
65 # CONFIG_CLK_UT130HBD is not set
66 # CONFIG_CLK_ALTDLL is not set
67 # CONFIG_CLK_LATDLL is not set
68 # CONFIG_CLK_PRO3PLL is not set
69 # CONFIG_CLK_PRO3EPLL is not set
70 # CONFIG_CLK_PRO3LPLL is not set
71 # CONFIG_CLK_FUSPLL is not set
72 # CONFIG_CLK_LIB18T is not set
73 # CONFIG_CLK_RHUMC is not set
74 # CONFIG_CLK_CLKDLL is not set
75 CONFIG_CLK_DCM=y
76 CONFIG_CLK_MUL=20
77 CONFIG_CLK_DIV=11
78 # CONFIG_PCI_CLKDLL is not set
79 # CONFIG_CLK_NOFB is not set
80 # CONFIG_PCI_SYSCLK is not set
81 CONFIG_LEON3=y
82 CONFIG_PROC_NUM=1
83
84 #
85 # Processor
86 #
87
88 #
89 # Integer unit
90 #
91 CONFIG_IU_NWINDOWS=8
92 CONFIG_IU_V8MULDIV=y
93 CONFIG_IU_MUL_LATENCY_2=y
94 # CONFIG_IU_MUL_LATENCY_4 is not set
95 # CONFIG_IU_MUL_LATENCY_5 is not set
96 CONFIG_IU_MUL_INFERRED=y
97 # CONFIG_IU_MUL_MODGEN is not set
98 # CONFIG_IU_MUL_TECHSPEC is not set
99 # CONFIG_IU_MUL_DW is not set
100 CONFIG_IU_BP=y
101 CONFIG_IU_SVT=y
102 CONFIG_NOTAG=y
103 CONFIG_IU_LDELAY=1
104 CONFIG_IU_WATCHPOINTS=2
105 CONFIG_PWD=y
106 CONFIG_IU_RSTADDR=00000
107
108 #
109 # Floating-point unit
110 #
111 # CONFIG_FPU_ENABLE is not set
112
113 #
114 # Cache system
115 #
116 CONFIG_ICACHE_ENABLE=y
117 # CONFIG_ICACHE_ASSO1 is not set
118 CONFIG_ICACHE_ASSO2=y
119 # CONFIG_ICACHE_ASSO3 is not set
120 # CONFIG_ICACHE_ASSO4 is not set
121 # CONFIG_ICACHE_SZ1 is not set
122 # CONFIG_ICACHE_SZ2 is not set
123 # CONFIG_ICACHE_SZ4 is not set
124 CONFIG_ICACHE_SZ8=y
125 # CONFIG_ICACHE_SZ16 is not set
126 # CONFIG_ICACHE_SZ32 is not set
127 # CONFIG_ICACHE_SZ64 is not set
128 # CONFIG_ICACHE_SZ128 is not set
129 # CONFIG_ICACHE_SZ256 is not set
130 # CONFIG_ICACHE_LZ16 is not set
131 CONFIG_ICACHE_LZ32=y
132 CONFIG_ICACHE_ALGORND=y
133 # CONFIG_ICACHE_ALGODIR is not set
134 # CONFIG_ICACHE_ALGOLRR is not set
135 # CONFIG_ICACHE_ALGOLRU is not set
136 # CONFIG_ICACHE_LOCK is not set
137 CONFIG_DCACHE_ENABLE=y
138 # CONFIG_DCACHE_ASSO1 is not set
139 CONFIG_DCACHE_ASSO2=y
140 # CONFIG_DCACHE_ASSO3 is not set
141 # CONFIG_DCACHE_ASSO4 is not set
142 # CONFIG_DCACHE_SZ1 is not set
143 # CONFIG_DCACHE_SZ2 is not set
144 CONFIG_DCACHE_SZ4=y
145 # CONFIG_DCACHE_SZ8 is not set
146 # CONFIG_DCACHE_SZ16 is not set
147 # CONFIG_DCACHE_SZ32 is not set
148 # CONFIG_DCACHE_SZ64 is not set
149 # CONFIG_DCACHE_SZ128 is not set
150 # CONFIG_DCACHE_SZ256 is not set
151 CONFIG_DCACHE_LZ16=y
152 # CONFIG_DCACHE_LZ32 is not set
153 CONFIG_DCACHE_ALGORND=y
154 # CONFIG_DCACHE_ALGODIR is not set
155 # CONFIG_DCACHE_ALGOLRR is not set
156 # CONFIG_DCACHE_ALGOLRU is not set
157 # CONFIG_DCACHE_LOCK is not set
158 CONFIG_DCACHE_SNOOP=y
159 CONFIG_DCACHE_SNOOP_FAST=y
160 CONFIG_DCACHE_SNOOP_SEPTAG=y
161 CONFIG_CACHE_FIXED=0
162
163 #
164 # MMU
165 #
166 CONFIG_MMU_ENABLE=y
167 # CONFIG_MMU_COMBINED is not set
168 CONFIG_MMU_SPLIT=y
169 CONFIG_MMU_REPARRAY=y
170 # CONFIG_MMU_REPINCREMENT is not set
171 # CONFIG_MMU_I2 is not set
172 # CONFIG_MMU_I4 is not set
173 CONFIG_MMU_I8=y
174 # CONFIG_MMU_I16 is not set
175 # CONFIG_MMU_I32 is not set
176 # CONFIG_MMU_D2 is not set
177 # CONFIG_MMU_D4 is not set
178 CONFIG_MMU_D8=y
179 # CONFIG_MMU_D16 is not set
180 # CONFIG_MMU_D32 is not set
181 CONFIG_MMU_FASTWB=y
182 CONFIG_MMU_PAGE_4K=y
183 # CONFIG_MMU_PAGE_8K is not set
184 # CONFIG_MMU_PAGE_16K is not set
185 # CONFIG_MMU_PAGE_32K is not set
186 # CONFIG_MMU_PAGE_PROG is not set
187
188 #
189 # Debug Support Unit
190 #
191 CONFIG_DSU_ENABLE=y
192 CONFIG_DSU_ITRACE=y
193 # CONFIG_DSU_ITRACESZ1 is not set
194 # CONFIG_DSU_ITRACESZ2 is not set
195 CONFIG_DSU_ITRACESZ4=y
196 # CONFIG_DSU_ITRACESZ8 is not set
197 # CONFIG_DSU_ITRACESZ16 is not set
198 CONFIG_DSU_ATRACE=y
199 # CONFIG_DSU_ATRACESZ1 is not set
200 # CONFIG_DSU_ATRACESZ2 is not set
201 CONFIG_DSU_ATRACESZ4=y
202 # CONFIG_DSU_ATRACESZ8 is not set
203 # CONFIG_DSU_ATRACESZ16 is not set
204
205 #
206 # Fault-tolerance
207 #
208 # CONFIG_LEON3FT_EN is not set
209
210 #
211 # VHDL debug settings
212 #
213 # CONFIG_IU_DISAS is not set
214 # CONFIG_DEBUG_PC32 is not set
215
216 #
217 # AMBA configuration
218 #
219 CONFIG_AHB_DEFMST=0
220 CONFIG_AHB_RROBIN=y
221 # CONFIG_AHB_SPLIT is not set
222 CONFIG_AHB_IOADDR=FFF
223 CONFIG_APB_HADDR=800
224 # CONFIG_AHB_MON is not set
225 # CONFIG_AHB_DTRACE is not set
226
227 #
228 # Debug Link
229 #
230 CONFIG_DSU_JTAG=y
231 CONFIG_DSU_ETH=y
232 # CONFIG_DSU_ETHSZ1 is not set
233 CONFIG_DSU_ETHSZ2=y
234 # CONFIG_DSU_ETHSZ4 is not set
235 # CONFIG_DSU_ETHSZ8 is not set
236 # CONFIG_DSU_ETHSZ16 is not set
237 CONFIG_DSU_IPMSB=C0A8
238 CONFIG_DSU_IPLSB=0033
239 CONFIG_DSU_ETHMSB=020605
240 CONFIG_DSU_ETHLSB=000987
241
242 #
243 # Peripherals
244 #
245
246 #
247 # Memory controller
248 #
249
250 #
251 # Leon2 memory controller
252 #
253 CONFIG_MCTRL_LEON2=y
254 # CONFIG_MCTRL_8BIT is not set
255 CONFIG_MCTRL_16BIT=y
256 # CONFIG_MCTRL_5CS is not set
257 # CONFIG_MCTRL_SDRAM is not set
258
259 #
260 # MIG memory controller
261 #
262 CONFIG_MIG_DDR2=y
263 CONFIG_MIG_RANKS=1
264 CONFIG_MIG_COLBITS=10
265 CONFIG_MIG_ROWBITS=13
266 CONFIG_MIG_BANKBITS=3
267 CONFIG_MIG_HMASK=F80
268 CONFIG_AHBSTAT_ENABLE=y
269 CONFIG_AHBSTAT_NFTSLV=1
270
271 #
272 # On-chip RAM/ROM
273 #
274 # CONFIG_AHBROM_ENABLE is not set
275 # CONFIG_AHBRAM_ENABLE is not set
276
277 #
278 # Ethernet
279 #
280 CONFIG_GRETH_ENABLE=y
281 # CONFIG_GRETH_GIGA is not set
282 # CONFIG_GRETH_FIFO4 is not set
283 # CONFIG_GRETH_FIFO8 is not set
284 # CONFIG_GRETH_FIFO16 is not set
285 CONFIG_GRETH_FIFO32=y
286 # CONFIG_GRETH_FIFO64 is not set
287
288 #
289 # UART, timer, I/O port and interrupt controller
290 #
291 CONFIG_UART1_ENABLE=y
292 # CONFIG_UA1_FIFO1 is not set
293 # CONFIG_UA1_FIFO2 is not set
294 CONFIG_UA1_FIFO4=y
295 # CONFIG_UA1_FIFO8 is not set
296 # CONFIG_UA1_FIFO16 is not set
297 # CONFIG_UA1_FIFO32 is not set
298 CONFIG_IRQ3_ENABLE=y
299 # CONFIG_IRQ3_SEC is not set
300 CONFIG_GPT_ENABLE=y
301 CONFIG_GPT_NTIM=2
302 CONFIG_GPT_SW=8
303 CONFIG_GPT_TW=32
304 CONFIG_GPT_IRQ=8
305 CONFIG_GPT_SEPIRQ=y
306 # CONFIG_GPT_WDOGEN is not set
307 CONFIG_GRGPIO_ENABLE=y
308 CONFIG_GRGPIO_WIDTH=8
309 CONFIG_GRGPIO_IMASK=0000
310
311 #
312 # Keybord and VGA interface
313 #
314 # CONFIG_KBD_ENABLE is not set
315 # CONFIG_VGA_ENABLE is not set
316 CONFIG_SVGA_ENABLE=y
317
318 #
319 # SPI
320 #
321
322 #
323 # SPI memory controller
324 #
325 # CONFIG_SPIMCTRL is not set
326
327 #
328 # SPI controller(s)
329 #
330 # CONFIG_SPICTRL_ENABLE is not set
331
332 #
333 # VHDL Debugging
334 #
335 # CONFIG_DEBUG_UART is not set
General Comments 0
You need to be logged in to leave comments. Login now