3 # Marvell Semiconductor <www.marvell.com>
4 # Written-by: Prafulla Wadaskar <prafulla@marvell.com>
6 # SPDX-License-Identifier: GPL-2.0+
13 # cpu.o and cache.o contain CP15 instructions which cannot be run in
14 # Thumb state, so build them for ARM state even with CONFIG_SYS_THUMB_BUILD
17 CFLAGS_cache.o := -marm