1# SPDX-License-Identifier: GPL-2.0-only
2obj-$(CONFIG_SMP)		+= platsmp.o
3obj-$(CONFIG_ARCH_STI) 		+= board-dt.o
4