#
# Automatically generated make config: don't edit
#
CONFIG_PERI_LCONF=y

#
# Synthesis 
#
CONFIG_SYN_GENERIC=y
# CONFIG_SYN_ATC35 is not set
# CONFIG_SYN_ATC25 is not set
# CONFIG_SYN_ATC18 is not set
# CONFIG_SYN_FS90 is not set
# CONFIG_SYN_UMC018 is not set
# CONFIG_SYN_TSMC025 is not set
# CONFIG_SYN_PROASIC is not set
# CONFIG_SYN_AXCEL is not set
# CONFIG_SYN_VIRTEX is not set
# CONFIG_SYN_VIRTEX2 is not set
CONFIG_SYN_INFER_MULT=y
CONFIG_SYN_RFTYPE=y

#
# Clock generation
#
# CONFIG_PCI_SYSCLK is not set

#
# Processor            
#

#
# Integer unit                                           
#
CONFIG_IU_NWINDOWS=8
# CONFIG_IU_V8MULDIV is not set
CONFIG_IU_LDELAY=1
CONFIG_IU_FASTJUMP=y
CONFIG_IU_ICCHOLD=y
CONFIG_IU_FASTDECODE=y
CONFIG_IU_WATCHPOINTS=0

#
# Floating-point unit
#
# CONFIG_FPU_ENABLE is not set

#
# Co-processor
#
# CONFIG_CP_ENABLE is not set

#
# Cache system              
#

#
# Instruction cache                              
#
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=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_LZ16 is not set
CONFIG_ICACHE_LZ32=y

#
# Data cache
#
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=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_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 is not set

#
# AMBA configuration
#
CONFIG_AHB_DEFMST=0
# CONFIG_AHB_SPLIT is not set

#
# Memory controller
#
# CONFIG_MCTRL_8BIT is not set
# CONFIG_MCTRL_16BIT is not set
# CONFIG_PERI_WPROT is not set
# CONFIG_MCTRL_WFB is not set
# CONFIG_MCTRL_5CS is not set
# CONFIG_MCTRL_SDRAM is not set

#
# Peripherals        
#
CONFIG_PERI_LCONF=y
# CONFIG_PERI_IRQ2 is not set
# CONFIG_PERI_WDOG is not set
# CONFIG_PERI_AHBSTAT is not set
# CONFIG_AHBRAM_ENABLE is not set

#
# Ethernet interface          
#
# CONFIG_ETH_ENABLE is not set

#
# PCI interface          
#
# CONFIG_PCI_ENABLE is not set

#
# Boot options
#
CONFIG_BOOT_EXTPROM=y
# CONFIG_BOOT_INTPROM is not set
# CONFIG_BOOT_MIXPROM is not set

#
# VHDL Debugging        
#
# CONFIG_DEBUG_UART is not set
# CONFIG_DEBUG_IURF is not set
# CONFIG_DEBUG_NOHALT is not set
# CONFIG_DEBUG_PC32 is not set