#
# LEON3 configuration written in linux configuration language
#
# Written by Jiri Gaisler, Gaisler Research
#
# Comments and bug reports to jiri@gaisler.com
#
#

#define_bool CONFIG_MCTRL_RMW y

mainmenu_name "LEON3MP Digilent Spartan3E Design Configuration"

mainmenu_option next_comment
  comment 'Synthesis      '
  source lib/techmap/gencomp/tech.in
endmenu

#mainmenu_option next_comment
#  comment 'Board options'
#    choice 'FPGA type                                      ' \
#	"XC4V-LX25		CONFIG_FPGA_LX25 \
#	XC4V-LX60     		CONFIG_FPGA_LX60" XC4V-LX25
#
#  source lib/techmap/clocks/clkgen.in
#endmenu

mainmenu_option next_comment
  comment 'Clock generation'
  source lib/techmap/clocks/clkgen.in
endmenu

source lib/gaisler/leon3/leon3.in
source lib/grlib/amba/amba.in

mainmenu_option next_comment
  comment 'Debug Link           '
  source lib/gaisler/uart/dcom.in
  source lib/gaisler/jtag/jtag.in
  source lib/gaisler/net/edcl.in
endmenu

mainmenu_option next_comment
comment 'Peripherals             '

  mainmenu_option next_comment
  comment 'Memory controllers             '
    source lib/esa/memoryctrl/mctrl.in
    source lib/gaisler/ddr/ddrsp.in
  endmenu

  mainmenu_option next_comment
  comment 'On-chip RAM/ROM                 '
    source lib/gaisler/misc/ahbrom.in
    source lib/gaisler/misc/ahbram.in
  endmenu

  mainmenu_option next_comment
  comment 'Ethernet             '
    source lib/gaisler/greth/greth.in
  endmenu

  mainmenu_option next_comment
  comment 'UARTs, timers and irq control         '
    source lib/gaisler/uart/uart1.in
    source lib/gaisler/leon3/irqmp.in
    source lib/gaisler/misc/gptimer.in
    source lib/gaisler/misc/grgpio.in
  endmenu

  mainmenu_option next_comment
  comment 'Keybord and VGA interface'
    source lib/gaisler/misc/ps2vga.in
  endmenu

endmenu

mainmenu_option next_comment
comment 'VHDL Debugging        '
  source lib/grlib/util/debug.in
endmenu