관리-도구
편집 파일: Makefile
# SPDX-License-Identifier: GPL-2.0-only obj-$(CONFIG_SMP) += platsmp.o