#
# 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_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_FUSION 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_LATTICE 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_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=y
# 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
CONFIG_FPGA_LX100=y
# CONFIG_FPGA_LX160 is not set
# CONFIG_FPGA_LX200 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_LATDLL 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 is not set
# CONFIG_CLK_CLKDLL is not set
CONFIG_CLK_DCM=y
CONFIG_CLK_MUL=6
CONFIG_CLK_DIV=5
# CONFIG_PCI_CLKDLL is not set
# CONFIG_CLK_NOFB is not set
# CONFIG_PCI_SYSCLK is not set

#
# Processor            
#
CONFIG_LEON3=y
# CONFIG_LEON4 is not set
CONFIG_PROC_NUM=1
# CONFIG_LEON_MIN is not set
# CONFIG_LEON_GP is not set
# CONFIG_LEON_HP is not set
CONFIG_LEON_CUSTOM=y

#
# Integer unit                                           
#
CONFIG_IU_NWINDOWS=8
CONFIG_IU_V8MULDIV=y
# CONFIG_IU_MUL_LATENCY_2 is not set
# CONFIG_IU_MUL_LATENCY_4 is not set
CONFIG_IU_MUL_LATENCY_5=y
# CONFIG_IU_MUL_MAC is not set
CONFIG_IU_MUL_INFERRED=y
# CONFIG_IU_MUL_MODGEN is not set
# CONFIG_IU_MUL_TECHSPEC is not set
# CONFIG_IU_MUL_DW is not set
CONFIG_IU_SVT=y
CONFIG_IU_LDELAY=1
CONFIG_IU_WATCHPOINTS=4
CONFIG_PWD=y
CONFIG_IU_RSTADDR=00000
# CONFIG_NP_ASI is not set
# CONFIG_WRPSR is not set
# CONFIG_ALTWIN is not set
# CONFIG_REX is not set

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

#
# Cache system
#
CONFIG_ICACHE_ENABLE=y
# CONFIG_ICACHE_ASSO1 is not set
CONFIG_ICACHE_ASSO2=y
# 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 is not set
CONFIG_ICACHE_SZ16=y
# 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_ALGORND=y
# CONFIG_ICACHE_ALGOLRU is not set
# CONFIG_ICACHE_LOCK is not set
CONFIG_DCACHE_ENABLE=y
# CONFIG_DCACHE_ASSO1 is not set
CONFIG_DCACHE_ASSO2=y
# 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_SZ128 is not set
# CONFIG_DCACHE_SZ256 is not set
# CONFIG_DCACHE_LZ16 is not set
CONFIG_DCACHE_LZ32=y
CONFIG_DCACHE_ALGORND=y
# CONFIG_DCACHE_ALGOLRU is not set
# CONFIG_DCACHE_LOCK is not set
CONFIG_DCACHE_SNOOP=y
# CONFIG_DCACHE_SNOOP_SEPTAG is not set
CONFIG_CACHE_FIXED=0
CONFIG_BWMASK=0000
CONFIG_CACHE_64BIT=y
# CONFIG_CACHE_128BIT is not set

#
# MMU
#
CONFIG_MMU_ENABLE=y
# CONFIG_MMU_COMBINED is not set
CONFIG_MMU_SPLIT=y
CONFIG_MMU_REPARRAY=y
# CONFIG_MMU_REPINCREMENT is not set
# CONFIG_MMU_I2 is not set
# CONFIG_MMU_I4 is not set
CONFIG_MMU_I8=y
# CONFIG_MMU_I16 is not set
# CONFIG_MMU_I32 is not set
# CONFIG_MMU_I64 is not set
# CONFIG_MMU_D2 is not set
# CONFIG_MMU_D4 is not set
CONFIG_MMU_D8=y
# CONFIG_MMU_D16 is not set
# CONFIG_MMU_D32 is not set
# CONFIG_MMU_D64 is not set
CONFIG_MMU_FASTWB=y
CONFIG_MMU_PAGE_4K=y
# CONFIG_MMU_PAGE_8K is not set
# CONFIG_MMU_PAGE_16K is not set
# CONFIG_MMU_PAGE_32K is not set
# CONFIG_MMU_PAGE_PROG is not set

#
# Debug Support Unit        
#
CONFIG_DSU_ENABLE=y
CONFIG_DSU_ITRACE=y
# CONFIG_DSU_ITRACESZ1 is not set
CONFIG_DSU_ITRACESZ2=y
# CONFIG_DSU_ITRACESZ4 is not set
# CONFIG_DSU_ITRACESZ8 is not set
# CONFIG_DSU_ITRACESZ16 is not set
# CONFIG_DSU_ITRACE_2P is not set
CONFIG_DSU_ATRACE=y
# CONFIG_DSU_ATRACESZ1 is not set
CONFIG_DSU_ATRACESZ2=y
# CONFIG_DSU_ATRACESZ4 is not set
# CONFIG_DSU_ATRACESZ8 is not set
# CONFIG_DSU_ATRACESZ16 is not set
# CONFIG_DSU_AFILT is not set
# CONFIG_DSU_ASTAT is not set
CONFIG_DSU_AHBWP2=y
# CONFIG_DSU_AHBWP1 is not set
# CONFIG_DSU_AHBWP0 is not set
# CONFIG_STAT_ENABLE is not set

#
# Fault-tolerance  
#
CONFIG_IUFT_NONE=y
# CONFIG_IUFT_PAR is not set
# CONFIG_IUFT_DMR is not set
# CONFIG_IUFT_BCH is not set
# CONFIG_IUFT_BCHOTF is not set
# CONFIG_IUFT_TECHSPEC is not set
# CONFIG_IUFT_TMR is not set
# CONFIG_RF_ERRINJ is not set
CONFIG_CACHE_FT_NONE=y
# CONFIG_CACHE_FT_EN is not set
# CONFIG_CACHE_FT_BCH is not set
# CONFIG_CACHE_FT_TECH is not set
CONFIG_CACHE_ERRINJ=0

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

#
# AMBA configuration
#
CONFIG_AHB_DEFMST=0
CONFIG_AHB_RROBIN=y
# 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_MONERR is not set
# CONFIG_AHB_MONWAR is not set
# CONFIG_AHB_DTRACE is not set

#
# Debug Link           
#
CONFIG_DSU_UART=y
CONFIG_DSU_JTAG=y
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=0059
CONFIG_DSU_ETHMSB=020000
CONFIG_DSU_ETHLSB=000059
# CONFIG_DSU_ETH_PROG is not set

#
# Memory controllers             
#

#
# Leon2 memory controller        
#
CONFIG_MCTRL_LEON2=y
CONFIG_MCTRL_8BIT=y
# CONFIG_MCTRL_16BIT is not set
# CONFIG_MCTRL_5CS is not set
CONFIG_MCTRL_SDRAM=y
CONFIG_MCTRL_SDRAM_SEPBUS=y
CONFIG_MCTRL_SDRAM_BUS64=y
# CONFIG_MCTRL_SDRAM_INVCLK is not set
# CONFIG_MCTRL_PAGE is not set

#
# PROM/SRAM/SDRAM Memory controller with EDAC       
#
# CONFIG_MCTRLFT is not set
# CONFIG_MCTRLFT_8BIT is not set
# CONFIG_MCTRLFT_16BIT is not set
# CONFIG_MCTRLFT_5CS is not set
CONFIG_MCTRLFT_ROMASEL0=y
# CONFIG_MCTRLFT_ROMASEL1 is not set
# CONFIG_MCTRLFT_ROMASEL2 is not set
# CONFIG_MCTRLFT_ROMASEL3 is not set
# CONFIG_MCTRLFT_ROMASEL4 is not set
# CONFIG_MCTRLFT_ROMASEL5 is not set
# CONFIG_MCTRLFT_ROMASEL6 is not set
# CONFIG_MCTRLFT_ROMASEL7 is not set
# CONFIG_MCTRLFT_ROMASEL8 is not set
# CONFIG_MCTRLFT_ROMASEL9 is not set
# CONFIG_MCTRLFT_ROMASEL10 is not set
# CONFIG_MCTRLFT_ROMASEL11 is not set
# CONFIG_MCTRLFT_ROMASEL12 is not set
# CONFIG_MCTRLFT_ROMASEL13 is not set
# CONFIG_MCTRLFT_ROMASEL14 is not set
# CONFIG_MCTRLFT_ROMASEL15 is not set
# CONFIG_MCTRLFT_ROMASEL16 is not set
# CONFIG_MCTRLFT_ROMASEL17 is not set
# CONFIG_MCTRLFT_ROMASEL18 is not set
# CONFIG_MCTRLFT_ROMASEL19 is not set
# CONFIG_MCTRLFT_ROMASEL20 is not set
# CONFIG_MCTRLFT_ROMASEL21 is not set
# CONFIG_MCTRLFT_ROMASEL22 is not set
# CONFIG_MCTRLFT_ROMASEL23 is not set
# CONFIG_MCTRLFT_ROMASEL24 is not set
# CONFIG_MCTRLFT_ROMASEL25 is not set
# CONFIG_MCTRLFT_ROMASEL26 is not set
# CONFIG_MCTRLFT_ROMASEL27 is not set
# CONFIG_MCTRLFT_ROMASEL28 is not set
# CONFIG_MCTRLFT_SDRAM is not set
# CONFIG_MCTRLFT_EDAC is not set
# CONFIG_MCTRLFT_WFB is not set
# CONFIG_MCTRLFT_NETLIST is not set

#
# PC133 SDRAM controller             
#
# CONFIG_SDCTRL is not set
# CONFIG_SDCTRL_BUS64 is not set
# CONFIG_SDCTRL_INVCLK is not set
# CONFIG_SDCTRL_PAGE is not set
CONFIG_AHBSTAT_ENABLE=y
CONFIG_AHBSTAT_NFTSLV=1

#
# Peripherals             
#

#
# On-chip RAM/ROM                 
#
# CONFIG_AHBRAM_ENABLE is not set
# 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 is not set
# CONFIG_GRETH_FIFO4 is not set
# CONFIG_GRETH_FIFO8 is not set
# CONFIG_GRETH_FIFO16 is not set
CONFIG_GRETH_FIFO32=y
# CONFIG_GRETH_FIFO64 is not set
# CONFIG_GRETH_FT is not set

#
# CAN                     
#
# CONFIG_CAN_ENABLE is not set
CONFIG_CAN_NUM=1
CONFIG_CANIO=C00
CONFIG_CANIRQ=13
# CONFIG_CANSEPIRQ is not set
# CONFIG_CAN_SYNCRST is not set
# CONFIG_CAN_FT is not set

#
# Spacewire      
#
# CONFIG_SPW_ENABLE is not set
CONFIG_SPW_NUM=1
# 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=y
# CONFIG_SPW_RXFIFO32 is not set
# CONFIG_SPW_RXFIFO64 is not set
# CONFIG_SPW_RMAP is not set
# CONFIG_SPW_RMAPCRC is not set
# CONFIG_SPW_RXUNAL is not set
# CONFIG_SPW_FT is not set
# CONFIG_SPW_NETLIST is not set
CONFIG_SPW_PORTS=1
# CONFIG_SPW_GRSPW1 is not set
CONFIG_SPW_GRSPW2=y
CONFIG_SPW_DMACHAN=1
# CONFIG_SPW_RTSAME is not set
# CONFIG_SPW_RX_SDR is not set
CONFIG_SPW_RX_DDR=y
# CONFIG_SPW_RX_PAD is not set
# CONFIG_SPW_RX_XOR is not set
# CONFIG_SPW_RX_AFLEX is not set
CONFIG_SPW_TX_SDR=y
# CONFIG_SPW_TX_DDR is not set
# CONFIG_SPW_TX_AFLEX is not set

#
# PCI              
#

#
# GRPCI1         
#
# CONFIG_PCI_SIMPLE_TARGET is not set
# CONFIG_PCI_MASTER_TARGET is not set
# CONFIG_PCI_MASTER_TARGET_DMA is not set
CONFIG_PCI_VENDORID=1AC8
CONFIG_PCI_DEVICEID=0054

#
# GRPCI2         
#
CONFIG_GRPCI2_MASTER=y
CONFIG_GRPCI2_TARGET=y
# CONFIG_GRPCI2_DMA is not set
CONFIG_GRPCI2_VENDORID=1AC8
CONFIG_GRPCI2_DEVICEID=0054
CONFIG_GRPCI2_CLASS=000000
CONFIG_GRPCI2_REVID=00
CONFIG_GRPCI2_CAPPOINT=40
CONFIG_GRPCI2_NEXTCAPPOINT=00
CONFIG_GRPCI2_BAR0=26
CONFIG_GRPCI2_BAR1=0
CONFIG_GRPCI2_BAR2=0
CONFIG_GRPCI2_BAR3=0
CONFIG_GRPCI2_BAR4=0
CONFIG_GRPCI2_BAR5=0
CONFIG_GRPCI2_FIFO8=y
# CONFIG_GRPCI2_FIFO16 is not set
# CONFIG_GRPCI2_FIFO32 is not set
# CONFIG_GRPCI2_FIFO64 is not set
# CONFIG_GRPCI2_FIFO128 is not set
# CONFIG_GRPCI2_FIFOCNT1 is not set
CONFIG_GRPCI2_FIFOCNT2=y
# CONFIG_GRPCI2_FIFOCNT3 is not set
# CONFIG_GRPCI2_FIFOCNT4 is not set
# CONFIG_GRPCI2_ENDIAN is not set
CONFIG_GRPCI2_DINT=y
CONFIG_GRPCI2_DINTMASK=0
CONFIG_GRPCI2_HINT=y
CONFIG_GRPCI2_HINTMASK=0
# CONFIG_GRPCI2_TRACE0 is not set
# CONFIG_GRPCI2_TRACE256 is not set
# CONFIG_GRPCI2_TRACE512 is not set
CONFIG_GRPCI2_TRACE1024=y
# CONFIG_GRPCI2_TRACE2048 is not set
# CONFIG_GRPCI2_TRACE4096 is not set
# CONFIG_GRPCI2_TRACEAPB is not set
# CONFIG_GRPCI2_BYPASS is not set
CONFIG_GRPCI2_EXTCFG=0
CONFIG_PCI_ARBITER=y
CONFIG_PCI_ARBITER_APB=y
CONFIG_PCI_ARBITER_NREQ=4
# CONFIG_PCI_TRACE is not set
CONFIG_PCI_TRACE256=y
# CONFIG_PCI_TRACE512 is not set
# CONFIG_PCI_TRACE1024 is not set
# CONFIG_PCI_TRACE2048 is not set
# CONFIG_PCI_TRACE4096 is not set

#
# UARTs, timers and I/O port         
#
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_IRQ3_SEC is not set
CONFIG_GPT_ENABLE=y
CONFIG_GPT_NTIM=3
CONFIG_GPT_SW=8
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=8
CONFIG_GRGPIO_IMASK=FE

#
# Partial Reconfiguration  
#
# CONFIG_PARTIAL is not set
# CONFIG_CRC is not set
# CONFIG_EDAC is not set
# CONFIG_DCM_FIFO is not set

#
# VHDL Debugging        
#
# CONFIG_DEBUG_UART is not set
