board/imgtec/boston/Kconfig

if TARGET_BOSTON

config SYS_BOARD
	default "boston"

config SYS_VENDOR
	default "imgtec"

config SYS_CONFIG_NAME
	default "boston"

config SYS_TEXT_BASE
	default 0x9fc00000 if 32BIT
	default 0xffffffff9fc00000 if 64BIT

endif