board/imgtec/malta/Kconfig

if TARGET_MALTA

config SYS_BOARD
	default "malta"

config SYS_VENDOR
	default "imgtec"

config SYS_CONFIG_NAME
	default "malta"

config TEXT_BASE
	default 0xbe000000 if 32BIT
	default 0xffffffffbe000000 if 64BIT

endif