#
# Automatically generated make config: don't edit
#

#
# Synthesis      
#
# CONFIG_SYN_INFERRED is not set
# CONFIG_SYN_AXCEL is not set
# CONFIG_SYN_AXDSP is not set
# CONFIG_SYN_FUSION is not set
# CONFIG_SYN_PROASIC is not set
# CONFIG_SYN_PROASICPLUS is not set
# CONFIG_SYN_PROASIC3 is not set
# CONFIG_SYN_PROASIC3E is not set
# CONFIG_SYN_PROASIC3L is not set
# CONFIG_SYN_IGLOO is not set
# CONFIG_SYN_IGLOO2 is not set
# CONFIG_SYN_SF2 is not set
# CONFIG_SYN_RTG4 is not set
# CONFIG_SYN_POLARFIRE is not set
# CONFIG_SYN_UT130HBD is not set
# CONFIG_SYN_UT90NHBD is not set
# CONFIG_SYN_CYCLONEIII is not set
# CONFIG_SYN_STRATIX is not set
# CONFIG_SYN_STRATIXII is not set
# CONFIG_SYN_STRATIXIII is not set
# CONFIG_SYN_STRATIXIV is not set
# CONFIG_SYN_STRATIXV is not set
# CONFIG_SYN_ALTERA is not set
# CONFIG_SYN_ATC18 is not set
# CONFIG_SYN_ATC18RHA is not set
# CONFIG_SYN_CUSTOM1 is not set
# CONFIG_SYN_DARE is not set
# CONFIG_SYN_CMOS9SF is not set
CONFIG_SYN_NEXUS=y
# CONFIG_SYN_BRAVEMED is not set
# CONFIG_SYN_ECLIPSE is not set
# CONFIG_SYN_RH_LIB18T is not set
# CONFIG_SYN_RHUMC is not set
# CONFIG_SYN_RHS65 is not set
# CONFIG_SYN_SAED32 is not set
# CONFIG_SYN_SMIC13 is not set
# CONFIG_SYN_TM65GPLUS is not set
# CONFIG_SYN_TSMC90 is not set
# CONFIG_SYN_UMC is not set
# CONFIG_SYN_ARTIX7 is not set
# CONFIG_SYN_KINTEX7 is not set
# CONFIG_SYN_KINTEXU is not set
# CONFIG_SYN_SPARTAN3 is not set
# CONFIG_SYN_SPARTAN3E is not set
# CONFIG_SYN_SPARTAN6 is not set
# CONFIG_SYN_VIRTEX2 is not set
# CONFIG_SYN_VIRTEX4 is not set
# CONFIG_SYN_VIRTEX5 is not set
# CONFIG_SYN_VIRTEX6 is not set
# CONFIG_SYN_VIRTEX7 is not set
# CONFIG_SYN_ZYNQ7000 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

#
# LEON5 Processor system
#
CONFIG_PROC_NUM=1
CONFIG_FPU_NANOFPU=y
# CONFIG_FPU_GRFPU5 is not set
CONFIG_LEON5_HP=y
# CONFIG_LEON5_GP is not set
# CONFIG_LEON5_EP is not set
CONFIG_LEON5_PERFCFG=0
CONFIG_LEON5_RF_0=y
# CONFIG_LEON5_RF_1 is not set
CONFIG_LEON5_RFCFG=0

#
# Cache memory Configuration  
#
CONFIG_LEON5_CMCFG_TAG=0
CONFIG_LEON5_CMCFG_DATA=0

#
# Tightly coupled memory      
#
CONFIG_LEON5_ITCM_NONE=y
# CONFIG_LEON5_ITCM_1K is not set
# CONFIG_LEON5_ITCM_2K is not set
# CONFIG_LEON5_ITCM_4K is not set
# CONFIG_LEON5_ITCM_8K is not set
# CONFIG_LEON5_ITCM_16K is not set
# CONFIG_LEON5_ITCM_32K is not set
# CONFIG_LEON5_ITCM_64K is not set
# CONFIG_LEON5_ITCM_128K is not set
# CONFIG_LEON5_ITCM_256K is not set
# CONFIG_LEON5_ITCM_512K is not set
# CONFIG_LEON5_ITCM_1M is not set
CONFIG_LEON5_DTCM_NONE=y
# CONFIG_LEON5_DTCM_1K is not set
# CONFIG_LEON5_DTCM_2K is not set
# CONFIG_LEON5_DTCM_4K is not set
# CONFIG_LEON5_DTCM_8K is not set
# CONFIG_LEON5_DTCM_16K is not set
# CONFIG_LEON5_DTCM_32K is not set
# CONFIG_LEON5_DTCM_64K is not set
# CONFIG_LEON5_DTCM_128K is not set
# CONFIG_LEON5_DTCM_256K is not set
# CONFIG_LEON5_DTCM_512K is not set
# CONFIG_LEON5_DTCM_1M is not set
CONFIG_LEON5_ITCMCFG=0
CONFIG_LEON5_DTCMCFG=0

#
# Fault-tolerance  
#
CONFIG_IUFT_NONE=y
# CONFIG_IUFT_TECHSPEC is not set
# CONFIG_IUFT_RTL is not set
CONFIG_CACHE_FT_NONE=y
# CONFIG_CACHE_FT_TECHSPEC is not set
# CONFIG_CACHE_FT_RTL is not set
CONFIG_LEON5_RF_FTCFG=0
CONFIG_LEON5_CACHE_FTCFG=0
# CONFIG_AHB_32BIT is not set
# CONFIG_AHB_64BIT is not set
CONFIG_AHB_128BIT=y
CONFIG_BWMASK=00FF
CONFIG_CACHE_FIXED=0

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

#
# Peripherals             
#

#
# AHB Status Register             
#
CONFIG_AHBSTAT_ENABLE=y
CONFIG_AHBSTAT_NFTSLV=1

#
# On-chip RAM/ROM                 
#
# CONFIG_AHBROM_ENABLE is not set
CONFIG_AHBRAM_ENABLE=y
# CONFIG_AHBRAM_SZ1 is not set
# CONFIG_AHBRAM_SZ2 is not set
# CONFIG_AHBRAM_SZ4 is not set
# CONFIG_AHBRAM_SZ8 is not set
# CONFIG_AHBRAM_SZ16 is not set
# CONFIG_AHBRAM_SZ32 is not set
# CONFIG_AHBRAM_SZ64 is not set
CONFIG_AHBRAM_SZ128=y
# CONFIG_AHBRAM_SZ256 is not set
# CONFIG_AHBRAM_SZ512 is not set
# CONFIG_AHBRAM_SZ1024 is not set
# CONFIG_AHBRAM_SZ2048 is not set
# CONFIG_AHBRAM_SZ4096 is not set
CONFIG_AHBRAM_START=400
# CONFIG_AHBRAM_PIPE is not set

#
# GPIO
#
# CONFIG_GRGPIO_ENABLE is not set

#
# VHDL Debugging        
#
# CONFIG_IU_DISAS is not set
# CONFIG_AHB_DTRACE is not set
