1*ec8f24b7SThomas Gleixner# SPDX-License-Identifier: GPL-2.0-only 26c2eb3e7SAndreas Färberobj-${CONFIG_SMP} += platsmp.o 3