board/imgtec/xilfpga/Kconfig

if TARGET_XILFPGA

config SYS_BOARD
	default "xilfpga"

config SYS_VENDOR
	default "imgtec"

config SYS_CONFIG_NAME
	default "imgtec_xilfpga"

config TEXT_BASE
	default 0x80C00000

endif