18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only
28c2ecf20Sopenharmony_ci#
38c2ecf20Sopenharmony_ci# Makefile for the linux kernel.
48c2ecf20Sopenharmony_ci#
58c2ecf20Sopenharmony_ci
68c2ecf20Sopenharmony_ci# Common support
78c2ecf20Sopenharmony_ciobj-y				:= common.o slcr.o pm.o
88c2ecf20Sopenharmony_ciobj-$(CONFIG_SMP)		+= headsmp.o platsmp.o
9