board/micronas/vct/config.mk

#
# (C) Copyright 2008 Stefan Roese <sr@denx.de>, DENX Software Engineering
#
# SPDX-License-Identifier:	GPL-2.0+
#

#
# vct_xxx boards with MIPS 4Kc CPU core
#

ifndef CONFIG_SYS_TEXT_BASE
CONFIG_SYS_TEXT_BASE = 0x87000000
endif