#
# Automatically generated make config: don't edit
#
CONFIG_LEON3=y
CONFIG_PROC_NUM=1

#
# Processor            
#

#
# Integer unit                                           
#
CONFIG_IU_NWINDOWS=2
# CONFIG_IU_V8MULDIV is not set
# CONFIG_IU_SVT is not set
CONFIG_IU_LDELAY=2
CONFIG_IU_WATCHPOINTS=0
# CONFIG_PWD is not set
CONFIG_IU_RSTADDR=00000

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

#
# Cache system
#
# CONFIG_ICACHE_ENABLE is not set
# CONFIG_ICACHE_LRAM is not set
# CONFIG_DCACHE_ENABLE is not set
# CONFIG_DCACHE_LRAM is not set

#
# MMU
#
# CONFIG_MMU_ENABLE is not set

#
# Debug Support Unit        
#
CONFIG_DSU_ENABLE=y
# CONFIG_DSU_ITRACE is not set
# CONFIG_DSU_ATRACE is not set

#
# Fault-tolerance  
#

#
# VHDL debug settings       
#
# CONFIG_IU_DISAS is not set
# CONFIG_DEBUG_PC32 is not set

#
# On-chip RAM
#
# CONFIG_AHBRAM_ENABLE is not set
