1 # SPDX-License-Identifier: GPL-2.0-only 2 # 3 # Makefile for the linux kernel, U8500 machine. 4 # 5 6 obj-y := pm.o 7 obj-$(CONFIG_UX500_SOC_DB8500) += cpu-db8500.o 8 obj-$(CONFIG_SMP) += platsmp.o
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.