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

#
# 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_UT025CRH 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_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=y
# CONFIG_SYN_ZYNQ7000 is not set
CONFIG_TRANS_GTP0=y
# CONFIG_TRANS_GTP1 is not set
# CONFIG_TRANS_GTX0 is not set
# CONFIG_TRANS_GTX1 is not set
# CONFIG_TRANS_GTH0 is not set
# CONFIG_TRANS_GTH1 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

#
# Clock generation
#
# CONFIG_CLK_INFERRED is not set
# CONFIG_CLK_HCLKBUF is not set
# CONFIG_CLK_UT130HBD is not set
# CONFIG_CLK_ALTDLL is not set
# CONFIG_CLK_BRAVEMED is not set
# CONFIG_CLK_PRO3PLL is not set
# CONFIG_CLK_PRO3EPLL is not set
# CONFIG_CLK_PRO3LPLL is not set
# CONFIG_CLK_FUSPLL is not set
# CONFIG_CLK_LIB18T is not set
# CONFIG_CLK_RHUMC is not set
# CONFIG_CLK_DARE is not set
# CONFIG_CLK_SAED32 is not set
# CONFIG_CLK_EASIC45 is not set
# CONFIG_CLK_RHS65 is not set
CONFIG_CLK_CLKPLLE2=y
# CONFIG_CLK_CLKDLL is not set
# CONFIG_CLK_DCM is not set
CONFIG_CLK_MUL=4
CONFIG_CLK_DIV=8
# CONFIG_PCI_SYSCLK is not set

#
# LEON5 Processor system
#
CONFIG_PROC_NUM=1
CONFIG_FPU_NANOFPU=y
# CONFIG_FPU_GRFPU5 is not set
# CONFIG_AHB_32BIT is not set
CONFIG_AHB_64BIT=y
# CONFIG_AHB_128BIT is not set
CONFIG_BWMASK=00F0
CONFIG_CACHE_FIXED=0

#
# L2 Cache
#
# CONFIG_L2_ENABLE is not set
# CONFIG_L2_ASSO1 is not set
# CONFIG_L2_ASSO2 is not set
# CONFIG_L2_ASSO3 is not set
CONFIG_L2_ASSO4=y
# CONFIG_L2_SZ1 is not set
# CONFIG_L2_SZ2 is not set
# CONFIG_L2_SZ4 is not set
# CONFIG_L2_SZ8 is not set
# CONFIG_L2_SZ16 is not set
# CONFIG_L2_SZ32 is not set
# CONFIG_L2_SZ64 is not set
CONFIG_L2_SZ128=y
# CONFIG_L2_SZ256 is not set
# CONFIG_L2_SZ512 is not set
CONFIG_L2_LINE32=y
# CONFIG_L2_LINE64 is not set
# CONFIG_L2_HPROT is not set
# CONFIG_L2_PEN is not set
# CONFIG_L2_WT is not set
# CONFIG_L2_RAN is not set
# CONFIG_L2_SHARE is not set
CONFIG_L2_MAP=00F0
CONFIG_L2_MTRR=0
CONFIG_L2_EDAC_NONE=y
# CONFIG_L2_EDAC_YES is not set
# CONFIG_L2_EDAC_TECHSPEC is not set
CONFIG_L2_AXI=y

#
# AMBA configuration
#
CONFIG_AHB_DEFMST=0
# CONFIG_AHB_RROBIN is not set
# CONFIG_AHB_SPLIT is not set
# CONFIG_AHB_FPNPEN is not set
CONFIG_AHB_IOADDR=FFF
CONFIG_APB_HADDR=800
# CONFIG_AHB_MON is not set
# CONFIG_AHB_DTRACE is not set

#
# Debug Link           
#
CONFIG_DSU_UART=y
CONFIG_DSU_JTAG=y
# CONFIG_GRUSB_DCL is not set
CONFIG_DSU_ETH=y
# CONFIG_DSU_ETHSZ1 is not set
CONFIG_DSU_ETHSZ2=y
# CONFIG_DSU_ETHSZ4 is not set
# CONFIG_DSU_ETHSZ8 is not set
# CONFIG_DSU_ETHSZ16 is not set
CONFIG_DSU_IPMSB=C0A8
CONFIG_DSU_IPLSB=0033
CONFIG_DSU_ETHMSB=020000
CONFIG_DSU_ETHLSB=000000
# CONFIG_DSU_ETH_PROG is not set

#
# Peripherals             
#

#
# Memory controller             
#

#
# Leon2 memory controller        
#
CONFIG_MCTRL_LEON2=y
CONFIG_MCTRL_8BIT=y
CONFIG_MCTRL_16BIT=y
# CONFIG_MCTRL_5CS is not set
# CONFIG_MCTRL_SDRAM is not set

#
# MIG 7-Series memory controller   
#
CONFIG_MIG_7SERIES=y
CONFIG_MIG_7SERIES_MODEL=y
# CONFIG_AHBSTAT_ENABLE is not set

#
# 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=y
# 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 is not set
# 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=A00
# CONFIG_AHBRAM_PIPE is not set

#
# Ethernet             
#
CONFIG_GRETH_ENABLE=y
CONFIG_GRETH_GIGA=y
# CONFIG_GRETH_FMC_MODE is not set
# CONFIG_GRETH_FT is not set

#
# USB 2.0 Host Controller      
#
# CONFIG_GRUSBHC_ENABLE is not set

#
# USB 2.0 Device Controller      
#
# CONFIG_GRUSBDC_ENABLE is not set

#
# CAN                     
#
# CONFIG_CAN_ENABLE 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 set
# CONFIG_UA1_FIFO4 is not set
# CONFIG_UA1_FIFO8 is not set
# CONFIG_UA1_FIFO16 is not set
CONFIG_UA1_FIFO32=y
CONFIG_IRQ3_ENABLE=y
# CONFIG_IRQ3_SEC is not set
CONFIG_GPT_ENABLE=y
CONFIG_GPT_NTIM=2
CONFIG_GPT_SW=8
CONFIG_GPT_TW=32
CONFIG_GPT_IRQ=8
CONFIG_GPT_SEPIRQ=y
# CONFIG_GPT_WDOGEN is not set
CONFIG_GRGPIO_ENABLE=y
CONFIG_GRGPIO_WIDTH=8
CONFIG_GRGPIO_IMASK=0000
CONFIG_I2C_ENABLE=y

#
# Keybord and VGA interface
#
# CONFIG_KBD_ENABLE is not set
# CONFIG_VGA_ENABLE is not set
# CONFIG_SVGA_ENABLE is not set

#
# SPI
#

#
# SPI memory controller 
#
# CONFIG_SPIMCTRL is not set

#
# SPI controller(s) 
#
CONFIG_SPICTRL_ENABLE=y
CONFIG_SPICTRL_NUM=1
CONFIG_SPICTRL_SLVS=1
CONFIG_SPICTRL_FIFO=1
# CONFIG_SPICTRL_SLVREG is not set
# CONFIG_SPICTRL_ASEL is not set
# CONFIG_SPICTRL_AM is not set
# CONFIG_SPICTRL_ODMODE is not set
# CONFIG_SPICTRL_TWEN is not set
CONFIG_SPICTRL_MAXWLEN=0
# CONFIG_SPICTRL_SYNCRAM is not set
CONFIG_SPICTRL_PROT0=y
# CONFIG_SPICTRL_PROT1 is not set
# CONFIG_SPICTRL_PROT2 is not set

#
# Partial Reconfiguration  
#
# CONFIG_PARTIAL is not set

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