URL https://opencores.org/ocsvn/mips_enhanced/mips_enhanced/trunk

Subversion Repositories mips_enhanced

[/] [mips_enhanced/] [trunk/] [grlib-gpl-1.0.19-b3188/] [designs/] [leon3-xilinx-ml507/] [.config] - Blame information for rev 2

Details | Compare with Previous | View Log


#
# Automatically generated make config: don't edit
#
 
#
# Synthesis
#
# CONFIG_SYN_INFERRED is not set
# CONFIG_SYN_STRATIX is not set
# CONFIG_SYN_STRATIXII is not set
# CONFIG_SYN_STRATIXIII is not set
# CONFIG_SYN_CYCLONEIII is not set
# CONFIG_SYN_ALTERA is not set
# CONFIG_SYN_AXCEL is not set
# CONFIG_SYN_PROASIC is not set
# CONFIG_SYN_PROASICPLUS is not set
# CONFIG_SYN_PROASIC3 is not set
# CONFIG_SYN_UT025CRH is not set
# CONFIG_SYN_ATC18 is not set
# CONFIG_SYN_ATC18RHA is not set
# CONFIG_SYN_CUSTOM1 is not set
# CONFIG_SYN_EASIC90 is not set
# CONFIG_SYN_IHP25 is not set
# CONFIG_SYN_IHP25RH is not set
# CONFIG_SYN_LATTICE is not set
# CONFIG_SYN_ECLIPSE is not set
# CONFIG_SYN_PEREGRINE is not set
# CONFIG_SYN_RH_LIB18T is not set
# CONFIG_SYN_RHUMC is not set
# CONFIG_SYN_SPARTAN2 is not set
# CONFIG_SYN_SPARTAN3 is not set
# CONFIG_SYN_SPARTAN3E is not set
# CONFIG_SYN_VIRTEX is not set
# CONFIG_SYN_VIRTEXE is not set
# CONFIG_SYN_VIRTEX2 is not set
# CONFIG_SYN_VIRTEX4 is not set
CONFIG_SYN_VIRTEX5=y
# CONFIG_SYN_UMC is not set
# CONFIG_SYN_TSMC90 is not set
# CONFIG_SYN_INFER_RAM is not set
# CONFIG_SYN_INFER_PADS is not set
# CONFIG_SYN_NO_ASYNC is not set
# CONFIG_SYN_SCAN is not set
 
#
# Clock generation
#
# CONFIG_CLK_INFERRED is not set
# CONFIG_CLK_HCLKBUF is not set
# CONFIG_CLK_ALTDLL is not set
# CONFIG_CLK_LATDLL is not set
# CONFIG_CLK_PRO3PLL is not set
# CONFIG_CLK_LIB18T is not set
# CONFIG_CLK_RHUMC is not set
# CONFIG_CLK_CLKDLL is not set
CONFIG_CLK_DCM=y
CONFIG_CLK_MUL=8
CONFIG_CLK_DIV=10
# CONFIG_PCI_CLKDLL is not set
# CONFIG_CLK_NOFB is not set
# CONFIG_PCI_SYSCLK is not set
CONFIG_LEON3=y
CONFIG_PROC_NUM=1
 
#
# Processor
#
 
#
# Integer unit
#
CONFIG_IU_NWINDOWS=8
CONFIG_IU_V8MULDIV=y
CONFIG_IU_MUL_LATENCY_2=y
# CONFIG_IU_MUL_LATENCY_4 is not set
# CONFIG_IU_MUL_LATENCY_5 is not set
CONFIG_IU_SVT=y
CONFIG_IU_LDELAY=1
CONFIG_IU_WATCHPOINTS=2
CONFIG_PWD=y
CONFIG_IU_RSTADDR=00000
 
#
# Floating-point unit
#
# CONFIG_FPU_ENABLE is not set
 
#
# Cache system
#
CONFIG_ICACHE_ENABLE=y
# CONFIG_ICACHE_ASSO1 is not set
CONFIG_ICACHE_ASSO2=y
# CONFIG_ICACHE_ASSO3 is not set
# CONFIG_ICACHE_ASSO4 is not set
# CONFIG_ICACHE_SZ1 is not set
# CONFIG_ICACHE_SZ2 is not set
# CONFIG_ICACHE_SZ4 is not set
CONFIG_ICACHE_SZ8=y
# CONFIG_ICACHE_SZ16 is not set
# CONFIG_ICACHE_SZ32 is not set
# CONFIG_ICACHE_SZ64 is not set
# CONFIG_ICACHE_SZ128 is not set
# CONFIG_ICACHE_SZ256 is not set
# CONFIG_ICACHE_LZ16 is not set
CONFIG_ICACHE_LZ32=y
# CONFIG_ICACHE_ALGORND is not set
CONFIG_ICACHE_ALGOLRR=y
# CONFIG_ICACHE_ALGOLRU is not set
# CONFIG_ICACHE_LOCK is not set
CONFIG_DCACHE_ENABLE=y
# CONFIG_DCACHE_ASSO1 is not set
CONFIG_DCACHE_ASSO2=y
# CONFIG_DCACHE_ASSO3 is not set
# CONFIG_DCACHE_ASSO4 is not set
# CONFIG_DCACHE_SZ1 is not set
# CONFIG_DCACHE_SZ2 is not set
CONFIG_DCACHE_SZ4=y
# CONFIG_DCACHE_SZ8 is not set
# CONFIG_DCACHE_SZ16 is not set
# CONFIG_DCACHE_SZ32 is not set
# CONFIG_DCACHE_SZ64 is not set
# CONFIG_DCACHE_SZ128 is not set
# CONFIG_DCACHE_SZ256 is not set
CONFIG_DCACHE_LZ16=y
# CONFIG_DCACHE_LZ32 is not set
# CONFIG_DCACHE_ALGORND is not set
CONFIG_DCACHE_ALGOLRR=y
# CONFIG_DCACHE_ALGOLRU is not set
# CONFIG_DCACHE_LOCK is not set
CONFIG_DCACHE_SNOOP=y
# CONFIG_DCACHE_SNOOP_FAST is not set
# CONFIG_DCACHE_SNOOP_SEPTAG is not set
CONFIG_CACHE_FIXED=0
 
#
# MMU
#
CONFIG_MMU_ENABLE=y
# CONFIG_MMU_COMBINED is not set
CONFIG_MMU_SPLIT=y
CONFIG_MMU_REPARRAY=y
# CONFIG_MMU_REPINCREMENT is not set
# CONFIG_MMU_I2 is not set
# CONFIG_MMU_I4 is not set
CONFIG_MMU_I8=y
# CONFIG_MMU_I16 is not set
# CONFIG_MMU_I32 is not set
# CONFIG_MMU_D2 is not set
# CONFIG_MMU_D4 is not set
CONFIG_MMU_D8=y
# CONFIG_MMU_D16 is not set
# CONFIG_MMU_D32 is not set
CONFIG_MMU_FASTWB=y
 
#
# Debug Support Unit
#
CONFIG_DSU_ENABLE=y
CONFIG_DSU_ITRACE=y
# CONFIG_DSU_ITRACESZ1 is not set
CONFIG_DSU_ITRACESZ2=y
# CONFIG_DSU_ITRACESZ4 is not set
# CONFIG_DSU_ITRACESZ8 is not set
# CONFIG_DSU_ITRACESZ16 is not set
CONFIG_DSU_ATRACE=y
# CONFIG_DSU_ATRACESZ1 is not set
CONFIG_DSU_ATRACESZ2=y
# CONFIG_DSU_ATRACESZ4 is not set
# CONFIG_DSU_ATRACESZ8 is not set
# CONFIG_DSU_ATRACESZ16 is not set
 
#
# Fault-tolerance
#
 
#
# VHDL debug settings
#
# CONFIG_IU_DISAS is not set
# CONFIG_DEBUG_PC32 is not set
 
#
# AMBA configuration
#
CONFIG_AHB_DEFMST=0
CONFIG_AHB_RROBIN=y
# CONFIG_AHB_SPLIT is not set
CONFIG_AHB_IOADDR=FFF
CONFIG_APB_HADDR=800
# CONFIG_AHB_MON is not set
 
#
# Debug Link
#
CONFIG_DSU_UART=y
CONFIG_DSU_JTAG=y
CONFIG_DSU_ETH=y
# CONFIG_DSU_ETHSZ1 is not set
CONFIG_DSU_ETHSZ2=y
# CONFIG_DSU_ETHSZ4 is not set
# CONFIG_DSU_ETHSZ8 is not set
# CONFIG_DSU_ETHSZ16 is not set
CONFIG_DSU_IPMSB=C0A8
CONFIG_DSU_IPLSB=0034
CONFIG_DSU_ETHMSB=00007A
CONFIG_DSU_ETHLSB=CC0008
# CONFIG_DSU_ETH_PROG is not set
 
#
# Peripherals
#
 
#
# Memory controller
#
 
#
# Leon2 memory controller
#
CONFIG_MCTRL_LEON2=y
# CONFIG_MCTRL_8BIT is not set
CONFIG_MCTRL_16BIT=y
# CONFIG_MCTRL_5CS is not set
# CONFIG_MCTRL_SDRAM is not set
 
#
# DDR2 SDRAM controller
#
CONFIG_DDR2SP=y
CONFIG_DDR2SP_INIT=y
CONFIG_DDR2SP_FREQ=190
CONFIG_DDR2SP_TRFC=130
CONFIG_DDR2SP_COL=10
CONFIG_DDR2SP_MBYTE=256
CONFIG_DDR2SP_DATAWIDTH=64
CONFIG_DDR2SP_DELAY0=0
CONFIG_DDR2SP_DELAY1=0
CONFIG_DDR2SP_DELAY2=0
CONFIG_DDR2SP_DELAY3=0
CONFIG_DDR2SP_DELAY4=0
CONFIG_DDR2SP_DELAY5=0
CONFIG_DDR2SP_DELAY6=0
CONFIG_DDR2SP_DELAY7=0
CONFIG_AHBSTAT_ENABLE=y
CONFIG_AHBSTAT_NFTSLV=1
 
#
# On-chip RAM/ROM
#
# CONFIG_AHBROM_ENABLE is not set
# CONFIG_AHBRAM_ENABLE is not set
 
#
# Ethernet
#
CONFIG_GRETH_ENABLE=y
# CONFIG_GRETH_GIGA is not set
# CONFIG_GRETH_FIFO4 is not set
# CONFIG_GRETH_FIFO8 is not set
# CONFIG_GRETH_FIFO16 is not set
CONFIG_GRETH_FIFO32=y
# CONFIG_GRETH_FIFO64 is not set
 
#
# UART, timer, I2C, I/O port and interrupt controller
#
CONFIG_UART1_ENABLE=y
# CONFIG_UA1_FIFO1 is not set
# CONFIG_UA1_FIFO2 is not set
CONFIG_UA1_FIFO4=y
# CONFIG_UA1_FIFO8 is not set
# CONFIG_UA1_FIFO16 is not set
# CONFIG_UA1_FIFO32 is not set
CONFIG_IRQ3_ENABLE=y
# CONFIG_IRQ3_SEC is not set
CONFIG_GPT_ENABLE=y
CONFIG_GPT_NTIM=2
CONFIG_GPT_SW=8
CONFIG_GPT_TW=32
CONFIG_GPT_IRQ=8
CONFIG_GPT_SEPIRQ=y
# CONFIG_GPT_WDOGEN is not set
CONFIG_GRGPIO_ENABLE=y
CONFIG_GRGPIO_WIDTH=32
CONFIG_GRGPIO_IMASK=0FFFE
CONFIG_I2C_ENABLE=y
 
#
# Keybord and VGA interface
#
CONFIG_KBD_ENABLE=y
# CONFIG_VGA_ENABLE is not set
# CONFIG_SVGA_ENABLE is not set
 
#
# VHDL Debugging
#
# CONFIG_DEBUG_UART is not set

Browse

Tools

Subversion Repositories mips_enhanced

[/] [mips_enhanced/] [trunk/] [grlib-gpl-1.0.19-b3188/] [designs/] [leon3-xilinx-ml507/] [.config] - Blame information for rev 2

Line No.	Rev	Author	Line
1	2	dimamali	`#`
2			`# Automatically generated make config: don't edit`
3			`#`
4
5			`#`
6			`# Synthesis`
7			`#`
8			`# CONFIG_SYN_INFERRED is not set`
9			`# CONFIG_SYN_STRATIX is not set`
10			`# CONFIG_SYN_STRATIXII is not set`
11			`# CONFIG_SYN_STRATIXIII is not set`
12			`# CONFIG_SYN_CYCLONEIII is not set`
13			`# CONFIG_SYN_ALTERA is not set`
14			`# CONFIG_SYN_AXCEL is not set`
15			`# CONFIG_SYN_PROASIC is not set`
16			`# CONFIG_SYN_PROASICPLUS is not set`
17			`# CONFIG_SYN_PROASIC3 is not set`
18			`# CONFIG_SYN_UT025CRH is not set`
19			`# CONFIG_SYN_ATC18 is not set`
20			`# CONFIG_SYN_ATC18RHA is not set`
21			`# CONFIG_SYN_CUSTOM1 is not set`
22			`# CONFIG_SYN_EASIC90 is not set`
23			`# CONFIG_SYN_IHP25 is not set`
24			`# CONFIG_SYN_IHP25RH is not set`
25			`# CONFIG_SYN_LATTICE is not set`
26			`# CONFIG_SYN_ECLIPSE is not set`
27			`# CONFIG_SYN_PEREGRINE is not set`
28			`# CONFIG_SYN_RH_LIB18T is not set`
29			`# CONFIG_SYN_RHUMC is not set`
30			`# CONFIG_SYN_SPARTAN2 is not set`
31			`# CONFIG_SYN_SPARTAN3 is not set`
32			`# CONFIG_SYN_SPARTAN3E is not set`
33			`# CONFIG_SYN_VIRTEX is not set`
34			`# CONFIG_SYN_VIRTEXE is not set`
35			`# CONFIG_SYN_VIRTEX2 is not set`
36			`# CONFIG_SYN_VIRTEX4 is not set`
37			`CONFIG_SYN_VIRTEX5=y`
38			`# CONFIG_SYN_UMC is not set`
39			`# CONFIG_SYN_TSMC90 is not set`
40			`# CONFIG_SYN_INFER_RAM is not set`
41			`# CONFIG_SYN_INFER_PADS is not set`
42			`# CONFIG_SYN_NO_ASYNC is not set`
43			`# CONFIG_SYN_SCAN is not set`
44
45			`#`
46			`# Clock generation`
47			`#`
48			`# CONFIG_CLK_INFERRED is not set`
49			`# CONFIG_CLK_HCLKBUF is not set`
50			`# CONFIG_CLK_ALTDLL is not set`
51			`# CONFIG_CLK_LATDLL is not set`
52			`# CONFIG_CLK_PRO3PLL is not set`
53			`# CONFIG_CLK_LIB18T is not set`
54			`# CONFIG_CLK_RHUMC is not set`
55			`# CONFIG_CLK_CLKDLL is not set`
56			`CONFIG_CLK_DCM=y`
57			`CONFIG_CLK_MUL=8`
58			`CONFIG_CLK_DIV=10`
59			`# CONFIG_PCI_CLKDLL is not set`
60			`# CONFIG_CLK_NOFB is not set`
61			`# CONFIG_PCI_SYSCLK is not set`
62			`CONFIG_LEON3=y`
63			`CONFIG_PROC_NUM=1`
64
65			`#`
66			`# Processor`
67			`#`
68
69			`#`
70			`# Integer unit`
71			`#`
72			`CONFIG_IU_NWINDOWS=8`
73			`CONFIG_IU_V8MULDIV=y`
74			`CONFIG_IU_MUL_LATENCY_2=y`
75			`# CONFIG_IU_MUL_LATENCY_4 is not set`
76			`# CONFIG_IU_MUL_LATENCY_5 is not set`
77			`CONFIG_IU_SVT=y`
78			`CONFIG_IU_LDELAY=1`
79			`CONFIG_IU_WATCHPOINTS=2`
80			`CONFIG_PWD=y`
81			`CONFIG_IU_RSTADDR=00000`
82
83			`#`
84			`# Floating-point unit`
85			`#`
86			`# CONFIG_FPU_ENABLE is not set`
87
88			`#`
89			`# Cache system`
90			`#`
91			`CONFIG_ICACHE_ENABLE=y`
92			`# CONFIG_ICACHE_ASSO1 is not set`
93			`CONFIG_ICACHE_ASSO2=y`
94			`# CONFIG_ICACHE_ASSO3 is not set`
95			`# CONFIG_ICACHE_ASSO4 is not set`
96			`# CONFIG_ICACHE_SZ1 is not set`
97			`# CONFIG_ICACHE_SZ2 is not set`
98			`# CONFIG_ICACHE_SZ4 is not set`
99			`CONFIG_ICACHE_SZ8=y`
100			`# CONFIG_ICACHE_SZ16 is not set`
101			`# CONFIG_ICACHE_SZ32 is not set`
102			`# CONFIG_ICACHE_SZ64 is not set`
103			`# CONFIG_ICACHE_SZ128 is not set`
104			`# CONFIG_ICACHE_SZ256 is not set`
105			`# CONFIG_ICACHE_LZ16 is not set`
106			`CONFIG_ICACHE_LZ32=y`
107			`# CONFIG_ICACHE_ALGORND is not set`
108			`CONFIG_ICACHE_ALGOLRR=y`
109			`# CONFIG_ICACHE_ALGOLRU is not set`
110			`# CONFIG_ICACHE_LOCK is not set`
111			`CONFIG_DCACHE_ENABLE=y`
112			`# CONFIG_DCACHE_ASSO1 is not set`
113			`CONFIG_DCACHE_ASSO2=y`
114			`# CONFIG_DCACHE_ASSO3 is not set`
115			`# CONFIG_DCACHE_ASSO4 is not set`
116			`# CONFIG_DCACHE_SZ1 is not set`
117			`# CONFIG_DCACHE_SZ2 is not set`
118			`CONFIG_DCACHE_SZ4=y`
119			`# CONFIG_DCACHE_SZ8 is not set`
120			`# CONFIG_DCACHE_SZ16 is not set`
121			`# CONFIG_DCACHE_SZ32 is not set`
122			`# CONFIG_DCACHE_SZ64 is not set`
123			`# CONFIG_DCACHE_SZ128 is not set`
124			`# CONFIG_DCACHE_SZ256 is not set`
125			`CONFIG_DCACHE_LZ16=y`
126			`# CONFIG_DCACHE_LZ32 is not set`
127			`# CONFIG_DCACHE_ALGORND is not set`
128			`CONFIG_DCACHE_ALGOLRR=y`
129			`# CONFIG_DCACHE_ALGOLRU is not set`
130			`# CONFIG_DCACHE_LOCK is not set`
131			`CONFIG_DCACHE_SNOOP=y`
132			`# CONFIG_DCACHE_SNOOP_FAST is not set`
133			`# CONFIG_DCACHE_SNOOP_SEPTAG is not set`
134			`CONFIG_CACHE_FIXED=0`
135
136			`#`
137			`# MMU`
138			`#`
139			`CONFIG_MMU_ENABLE=y`
140			`# CONFIG_MMU_COMBINED is not set`
141			`CONFIG_MMU_SPLIT=y`
142			`CONFIG_MMU_REPARRAY=y`
143			`# CONFIG_MMU_REPINCREMENT is not set`
144			`# CONFIG_MMU_I2 is not set`
145			`# CONFIG_MMU_I4 is not set`
146			`CONFIG_MMU_I8=y`
147			`# CONFIG_MMU_I16 is not set`
148			`# CONFIG_MMU_I32 is not set`
149			`# CONFIG_MMU_D2 is not set`
150			`# CONFIG_MMU_D4 is not set`
151			`CONFIG_MMU_D8=y`
152			`# CONFIG_MMU_D16 is not set`
153			`# CONFIG_MMU_D32 is not set`
154			`CONFIG_MMU_FASTWB=y`
155
156			`#`
157			`# Debug Support Unit`
158			`#`
159			`CONFIG_DSU_ENABLE=y`
160			`CONFIG_DSU_ITRACE=y`
161			`# CONFIG_DSU_ITRACESZ1 is not set`
162			`CONFIG_DSU_ITRACESZ2=y`
163			`# CONFIG_DSU_ITRACESZ4 is not set`
164			`# CONFIG_DSU_ITRACESZ8 is not set`
165			`# CONFIG_DSU_ITRACESZ16 is not set`
166			`CONFIG_DSU_ATRACE=y`
167			`# CONFIG_DSU_ATRACESZ1 is not set`
168			`CONFIG_DSU_ATRACESZ2=y`
169			`# CONFIG_DSU_ATRACESZ4 is not set`
170			`# CONFIG_DSU_ATRACESZ8 is not set`
171			`# CONFIG_DSU_ATRACESZ16 is not set`
172
173			`#`
174			`# Fault-tolerance`
175			`#`
176
177			`#`
178			`# VHDL debug settings`
179			`#`
180			`# CONFIG_IU_DISAS is not set`
181			`# CONFIG_DEBUG_PC32 is not set`
182
183			`#`
184			`# AMBA configuration`
185			`#`
186			`CONFIG_AHB_DEFMST=0`
187			`CONFIG_AHB_RROBIN=y`
188			`# CONFIG_AHB_SPLIT is not set`
189			`CONFIG_AHB_IOADDR=FFF`
190			`CONFIG_APB_HADDR=800`
191			`# CONFIG_AHB_MON is not set`
192
193			`#`
194			`# Debug Link`
195			`#`
196			`CONFIG_DSU_UART=y`
197			`CONFIG_DSU_JTAG=y`
198			`CONFIG_DSU_ETH=y`
199			`# CONFIG_DSU_ETHSZ1 is not set`
200			`CONFIG_DSU_ETHSZ2=y`
201			`# CONFIG_DSU_ETHSZ4 is not set`
202			`# CONFIG_DSU_ETHSZ8 is not set`
203			`# CONFIG_DSU_ETHSZ16 is not set`
204			`CONFIG_DSU_IPMSB=C0A8`
205			`CONFIG_DSU_IPLSB=0034`
206			`CONFIG_DSU_ETHMSB=00007A`
207			`CONFIG_DSU_ETHLSB=CC0008`
208			`# CONFIG_DSU_ETH_PROG is not set`
209
210			`#`
211			`# Peripherals`
212			`#`
213
214			`#`
215			`# Memory controller`
216			`#`
217
218			`#`
219			`# Leon2 memory controller`
220			`#`
221			`CONFIG_MCTRL_LEON2=y`
222			`# CONFIG_MCTRL_8BIT is not set`
223			`CONFIG_MCTRL_16BIT=y`
224			`# CONFIG_MCTRL_5CS is not set`
225			`# CONFIG_MCTRL_SDRAM is not set`
226
227			`#`
228			`# DDR2 SDRAM controller`
229			`#`
230			`CONFIG_DDR2SP=y`
231			`CONFIG_DDR2SP_INIT=y`
232			`CONFIG_DDR2SP_FREQ=190`
233			`CONFIG_DDR2SP_TRFC=130`
234			`CONFIG_DDR2SP_COL=10`
235			`CONFIG_DDR2SP_MBYTE=256`
236			`CONFIG_DDR2SP_DATAWIDTH=64`
237			`CONFIG_DDR2SP_DELAY0=0`
238			`CONFIG_DDR2SP_DELAY1=0`
239			`CONFIG_DDR2SP_DELAY2=0`
240			`CONFIG_DDR2SP_DELAY3=0`
241			`CONFIG_DDR2SP_DELAY4=0`
242			`CONFIG_DDR2SP_DELAY5=0`
243			`CONFIG_DDR2SP_DELAY6=0`
244			`CONFIG_DDR2SP_DELAY7=0`
245			`CONFIG_AHBSTAT_ENABLE=y`
246			`CONFIG_AHBSTAT_NFTSLV=1`
247
248			`#`
249			`# On-chip RAM/ROM`
250			`#`
251			`# CONFIG_AHBROM_ENABLE is not set`
252			`# CONFIG_AHBRAM_ENABLE is not set`
253
254			`#`
255			`# Ethernet`
256			`#`
257			`CONFIG_GRETH_ENABLE=y`
258			`# CONFIG_GRETH_GIGA is not set`
259			`# CONFIG_GRETH_FIFO4 is not set`
260			`# CONFIG_GRETH_FIFO8 is not set`
261			`# CONFIG_GRETH_FIFO16 is not set`
262			`CONFIG_GRETH_FIFO32=y`
263			`# CONFIG_GRETH_FIFO64 is not set`
264
265			`#`
266			`# UART, timer, I2C, I/O port and interrupt controller`
267			`#`
268			`CONFIG_UART1_ENABLE=y`
269			`# CONFIG_UA1_FIFO1 is not set`
270			`# CONFIG_UA1_FIFO2 is not set`
271			`CONFIG_UA1_FIFO4=y`
272			`# CONFIG_UA1_FIFO8 is not set`
273			`# CONFIG_UA1_FIFO16 is not set`
274			`# CONFIG_UA1_FIFO32 is not set`
275			`CONFIG_IRQ3_ENABLE=y`
276			`# CONFIG_IRQ3_SEC is not set`
277			`CONFIG_GPT_ENABLE=y`
278			`CONFIG_GPT_NTIM=2`
279			`CONFIG_GPT_SW=8`
280			`CONFIG_GPT_TW=32`
281			`CONFIG_GPT_IRQ=8`
282			`CONFIG_GPT_SEPIRQ=y`
283			`# CONFIG_GPT_WDOGEN is not set`
284			`CONFIG_GRGPIO_ENABLE=y`
285			`CONFIG_GRGPIO_WIDTH=32`
286			`CONFIG_GRGPIO_IMASK=0FFFE`
287			`CONFIG_I2C_ENABLE=y`
288
289			`#`
290			`# Keybord and VGA interface`
291			`#`
292			`CONFIG_KBD_ENABLE=y`
293			`# CONFIG_VGA_ENABLE is not set`
294			`# CONFIG_SVGA_ENABLE is not set`
295
296			`#`
297			`# VHDL Debugging`
298			`#`
299			`# CONFIG_DEBUG_UART is not set`