if ARCH_NETX

config ARCH_TEXT_BASE
	hex
	default 0x81f00000 if MACH_NXDB500

config NETX_SDRAM_CTRL
	hex
	default 0x010D0121 if MACH_NXDB500

config NETX_SDRAM_TIMING_CTRL
	hex
	default 0x03C13261 if MACH_NXDB500

config NETX_MEM_CTRL
	hex
	default 0x0203030F if MACH_NXDB500

config NETX_COOKIE
	hex
	default 32 if MACH_NXDB500

choice
	prompt "Netx Board Type"

config MACH_NXDB500
	bool "Hilscher Netx nxdb500"
	select HAS_NETX_ETHER
	help
	  Say Y here if you are using the Hilscher Netx nxdb500 board

endchoice

endif