if ARCH_TEGRA

choice
	prompt "Tegra processor type"

config ARCH_TEGRA_2x_SOC
	bool "Tegra 20"
	select PINCTRL_TEGRA20

endchoice

choice
	prompt "Tegra debug UART"
	help
	  This is the first serial console that gets activated by barebox.
	  Normally each board vendor should program a valid debug UART into
	  the ODMdata section of the boot configuration table, so it's a
	  reasonably good bet to use that.
	  If you know your ODMdata is broken, or you don't wish to activate
	  any serial console at all you can override the default here.

config TEGRA_UART_ODMDATA
	bool "ODMdata defined UART"

config TEGRA_UART_A
	bool "UART A"

config TEGRA_UART_B
	bool "UART B"

config TEGRA_UART_C
	bool "UART C"

config TEGRA_UART_D
	bool "UART D"

config TEGRA_UART_E
	bool "UART E"

config TEGRA_UART_NONE
	bool "None"

endchoice

# ---------------------------------------------------------

if ARCH_TEGRA_2x_SOC

config ARCH_TEXT_BASE
	hex
	default 0x00108000

choice
	prompt "Tegra 20 Board Type"

config MACH_TEGRA20_GENERIC
	bool "Generic DT based board"
	help
	  Say Y here if you are building for a generic DT based board.

config MACH_TOSHIBA_AC100
	bool "Toshiba AC100"
	help
	  Say Y here if you are using Toshiba AC100 smartbook.

endchoice

if MACH_TEGRA20_GENERIC

config BOARDINFO
	default "Generic Tegra20 board"

endif #MACH_TEGRA20_GENERIC

source arch/arm/boards/toshiba-ac100/Kconfig

endif #ARCH_TEGRA_2x_SOC

# ---------------------------------------------------------

endif