## Automatically generated make config: don't edit### Synthesis      ## CONFIG_SYN_INFERRED 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_ATC18 is not set# CONFIG_SYN_IHP25 is not set# CONFIG_SYN_LATTICE 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 setCONFIG_SYN_VIRTEX2=y# CONFIG_SYN_VIRTEX4 is not set# CONFIG_SYN_UT025CRH is not set# CONFIG_SYN_INFER_RAM is not set# CONFIG_SYN_INFER_PADS is not set# CONFIG_SYN_NO_ASYNC 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_LIB18T is not set# CONFIG_CLK_CLKDLL is not setCONFIG_CLK_DCM=yCONFIG_CLK_MUL=2CONFIG_CLK_DIV=2# CONFIG_PCI_CLKDLL is not set# CONFIG_CLK_NOFB is not set# CONFIG_PCI_SYSCLK is not setCONFIG_LEON3=yCONFIG_PROC_NUM=2## Processor            ### Integer unit                                           #CONFIG_IU_NWINDOWS=8# CONFIG_IU_V8MULDIV is not set# CONFIG_IU_SVT is not setCONFIG_IU_LDELAY=1CONFIG_IU_WATCHPOINTS=0CONFIG_PWD=yCONFIG_IU_RSTADDR=00000## Floating-point unit## CONFIG_FPU_ENABLE is not set## Cache system#CONFIG_ICACHE_ENABLE=yCONFIG_ICACHE_ASSO1=y# CONFIG_ICACHE_ASSO2 is not set# CONFIG_ICACHE_ASSO3 is not set# CONFIG_ICACHE_ASSO4 is not set# CONFIG_ICACHE_SZ1 is not set# CONFIG_ICACHE_SZ2 is not setCONFIG_ICACHE_SZ4=y# CONFIG_ICACHE_SZ8 is not set# 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 setCONFIG_ICACHE_LZ32=y# CONFIG_ICACHE_LRAM is not setCONFIG_DCACHE_ENABLE=yCONFIG_DCACHE_ASSO1=y# CONFIG_DCACHE_ASSO2 is not set# CONFIG_DCACHE_ASSO3 is not set# CONFIG_DCACHE_ASSO4 is not set# CONFIG_DCACHE_SZ1 is not set# CONFIG_DCACHE_SZ2 is not setCONFIG_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 is not setCONFIG_DCACHE_LZ32=yCONFIG_DCACHE_SNOOP=y# CONFIG_DCACHE_SNOOP_FAST is not setCONFIG_CACHE_FIXED=0# CONFIG_DCACHE_LRAM is not set## MMU## CONFIG_MMU_ENABLE is not set## Debug Support Unit        #CONFIG_DSU_ENABLE=yCONFIG_DSU_ITRACE=y# CONFIG_DSU_ITRACESZ1 is not setCONFIG_DSU_ITRACESZ2=y# CONFIG_DSU_ITRACESZ4 is not set# CONFIG_DSU_ITRACESZ8 is not set# CONFIG_DSU_ITRACESZ16 is not setCONFIG_DSU_ATRACE=y# CONFIG_DSU_ATRACESZ1 is not setCONFIG_DSU_ATRACESZ2=y# CONFIG_DSU_ATRACESZ4 is not set# CONFIG_DSU_ATRACESZ8 is not set# CONFIG_DSU_ATRACESZ16 is not set## VHDL debug settings       ## CONFIG_IU_DISAS is not set# CONFIG_DEBUG_PC32 is not set## AMBA configuration#CONFIG_AHB_DEFMST=0CONFIG_AHB_RROBIN=y# CONFIG_AHB_SPLIT is not setCONFIG_AHB_IOADDR=FFFCONFIG_APB_HADDR=800## Debug Link           #CONFIG_DSU_UART=yCONFIG_DSU_JTAG=yCONFIG_DSU_ETH=y# CONFIG_DSU_ETHSZ1 is not setCONFIG_DSU_ETHSZ2=y# CONFIG_DSU_ETHSZ4 is not set# CONFIG_DSU_ETHSZ8 is not set# CONFIG_DSU_ETHSZ16 is not setCONFIG_DSU_IPMSB=C0A8CONFIG_DSU_IPLSB=0033CONFIG_DSU_ETHMSB=00007ACONFIG_DSU_ETHLSB=CC0001## Peripherals             ### Memory controllers             ### 8/32-bit PROM/SRAM controller ## CONFIG_SRCTRL is not set## Leon2 memory controller        #CONFIG_MCTRL_LEON2=yCONFIG_MCTRL_8BIT=y# CONFIG_MCTRL_16BIT is not set# CONFIG_MCTRL_5CS is not setCONFIG_MCTRL_SDRAM=y# CONFIG_MCTRL_SDRAM_SEPBUS is not set## PC133 SDRAM controller             ## CONFIG_SDCTRL is not set## 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 setCONFIG_GRETH_FIFO32=y# CONFIG_GRETH_FIFO64 is not set## CAN                     ## CONFIG_CAN_ENABLE is not set## PCI              ## CONFIG_PCI_SIMPLE_TARGET is not set# CONFIG_PCI_MASTER_TARGET is not set# CONFIG_PCI_ARBITER is not set# CONFIG_PCI_TRACE is not set## Spacewire ## CONFIG_SPW_ENABLE is not set## UARTs, timers and irq control         #CONFIG_UART1_ENABLE=y# CONFIG_UA1_FIFO1 is not set# CONFIG_UA1_FIFO2 is not setCONFIG_UA1_FIFO4=y# CONFIG_UA1_FIFO8 is not set# CONFIG_UA1_FIFO16 is not set# CONFIG_UA1_FIFO32 is not set# CONFIG_UART2_ENABLE is not setCONFIG_IRQ3_ENABLE=yCONFIG_GPT_ENABLE=yCONFIG_GPT_NTIM=2CONFIG_GPT_SW=8CONFIG_GPT_TW=32CONFIG_GPT_IRQ=8CONFIG_GPT_SEPIRQ=yCONFIG_GPT_WDOGEN=yCONFIG_GPT_WDOG=FFFFCONFIG_GRGPIO_ENABLE=yCONFIG_GRGPIO_WIDTH=12CONFIG_GRGPIO_IMASK=0000## VHDL Debugging        ## CONFIG_DEBUG_UART is not set