1# SPDX-License-Identifier: GPL-2.0-only
2#
3# Makefile for the linux kernel.
4#
5
6# Common support
7obj-y				:= common.o slcr.o pm.o
8obj-$(CONFIG_SMP)		+= headsmp.o platsmp.o
9