#
# 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_RH_LIB18T=y
# CONFIG_SYN_RHUMC is not set
# CONFIG_SYN_SPARTAN2 is not set
# CONFIG_SYN_SPARTAN3 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_INFER_RAM is not set
# CONFIG_SYN_INFER_PADS is not set
CONFIG_SYN_NO_ASYNC=y

#
# Clock generation
#
CONFIG_CLK_INFERRED=y
# CONFIG_CLK_HCLKBUF is not set
# CONFIG_CLK_ALTDLL is not set
# CONFIG_CLK_CLKDLL is not set
# CONFIG_CLK_DCM is not set
# CONFIG_PCI_SYSCLK is not set
CONFIG_PROC_NUM=1

#
# Processor            
#

#
# Integer unit                                           
#
CONFIG_IU_NWINDOWS=8
CONFIG_IU_V8MULDIV=y
# CONFIG_IU_MUL_LATENCY_4 is not set
CONFIG_IU_MUL_LATENCY_5=y
# CONFIG_IU_MUL_MAC is not set
# CONFIG_IU_SVT is not set
CONFIG_IU_LDELAY=1
CONFIG_IU_WATCHPOINTS=2
CONFIG_PWD=y
CONFIG_IU_RSTADDR=00000

#
# Floating-point unit
#
CONFIG_FPU_ENABLE=y
# CONFIG_FPU_GRFPU is not set
CONFIG_FPU_GRFPULITE=y
# CONFIG_FPU_MEIKO is not set

#
# Cache system
#
CONFIG_ICACHE_ENABLE=y
CONFIG_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 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_LRAM is not set
CONFIG_DCACHE_ENABLE=y
CONFIG_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 set
# CONFIG_DCACHE_SZ4 is not set
CONFIG_DCACHE_SZ8=y
# 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 set
CONFIG_DCACHE_LZ32=y
# CONFIG_DCACHE_LRAM is not set

#
# MMU
#
# CONFIG_MMU_ENABLE is not set

#
# Debug Support Unit        
#
CONFIG_DSU_ENABLE=y
CONFIG_DSU_ITRACE=y
# CONFIG_DSU_ITRACESZ1 is not set
# CONFIG_DSU_ITRACESZ2 is not set
CONFIG_DSU_ITRACESZ4=y
# 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 is not set
CONFIG_DSU_ATRACESZ4=y
# CONFIG_DSU_ATRACESZ8 is not set
# CONFIG_DSU_ATRACESZ16 is not set

#
# Fault-tolerance  
#
CONFIG_LEON3FT_EN=y
# CONFIG_IUFT_NONE is not set
CONFIG_IUFT_PAR=y
# CONFIG_IUFT_DMR is not set
# CONFIG_IUFT_TMR is not set
# CONFIG_FPUFT_NONE is not set
CONFIG_FPUFT_PAR=y
# CONFIG_FPUFT_DMR is not set
# CONFIG_FPUFT_TMR is not set
CONFIG_CACHE_FT_EN=y
CONFIG_CACHE_ERRINJ=0

#
# AMBA configuration
#
CONFIG_AHB_DEFMST=0
CONFIG_AHB_RROBIN=y
# CONFIG_AHB_SPLIT is not set
CONFIG_AHB_IOADDR=FFF
CONFIG_APB_HADDR=800

#
# Debug Link           
#
CONFIG_DSU_UART=y
CONFIG_DSU_JTAG=y
# CONFIG_DSU_ETH is not set

#
# Memory controllers             
#

#
# Leon2 memory controller        
#
# CONFIG_MCTRL_LEON2 is not set

#
# PROM/SRAM/SDRAM Memory controller with EDAC       
#
CONFIG_MCTRLFT=y
CONFIG_MCTRLFT_8BIT=y
# CONFIG_MCTRLFT_16BIT is not set
# CONFIG_MCTRLFT_5CS is not set
CONFIG_MCTRLFT_SDRAM=y
# CONFIG_MCTRLFT_SDRAM_SEPBUS is not set
# CONFIG_MCTRLFT_SDRAM_INVCLK is not set
CONFIG_MCTRLFT_EDAC=y
CONFIG_AHBSTAT_ENABLE=y
CONFIG_AHBSTAT_NFTSLV=1

#
# Peripherals             
#

#
# On-chip RAM/ROM                 
#
# CONFIG_AHBROM_ENABLE is not set
# CONFIG_AHBRAM_ENABLE is not set

#
# Ethernet             
#
# CONFIG_ETH_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=y
CONFIG_SPW_NUM=2
# CONFIG_SPW_AHBFIFO4 is not set
# CONFIG_SPW_AHBFIFO8 is not set
CONFIG_SPW_AHBFIFO16=y
# CONFIG_SPW_AHBFIFO32 is not set
# CONFIG_SPW_RXFIFO16 is not set
CONFIG_SPW_RXFIFO32=y
# CONFIG_SPW_RXFIFO64 is not set
# CONFIG_SPW_RMAP is not set
CONFIG_SPW_RMAPCRC=y
# CONFIG_SPW_FT is not set

#
# UARTs, timers and irq control         
#
CONFIG_UART1_ENABLE=y
# CONFIG_UA1_FIFO1 is not set
# CONFIG_UA1_FIFO2 is not set
# CONFIG_UA1_FIFO4 is not set
CONFIG_UA1_FIFO8=y
# CONFIG_UA1_FIFO16 is not set
# CONFIG_UA1_FIFO32 is not set
CONFIG_UART2_ENABLE=y
# CONFIG_UA2_FIFO1 is not set
# CONFIG_UA2_FIFO2 is not set
# CONFIG_UA2_FIFO4 is not set
CONFIG_UA2_FIFO8=y
# CONFIG_UA2_FIFO16 is not set
# CONFIG_UA2_FIFO32 is not set
CONFIG_IRQ3_ENABLE=y
CONFIG_GPT_ENABLE=y
CONFIG_GPT_NTIM=2
CONFIG_GPT_SW=16
CONFIG_GPT_TW=32
CONFIG_GPT_IRQ=8
CONFIG_GPT_SEPIRQ=y
CONFIG_GPT_WDOGEN=y
CONFIG_GPT_WDOG=FFFFFF
CONFIG_GRGPIO_ENABLE=y
CONFIG_GRGPIO_WIDTH=16
CONFIG_GRGPIO_IMASK=FFFE

#
# VHDL Debugging        
#
# CONFIG_IU_DISAS is not set
# CONFIG_DEBUG_UART is not set
# CONFIG_DEBUG_PC32 is not set
