linux-zen-server/kernel/livepatch/Makefile

5 lines
143 B
Makefile

# SPDX-License-Identifier: GPL-2.0-only
obj-$(CONFIG_LIVEPATCH) += livepatch.o
livepatch-objs := core.o patch.o shadow.o state.o transition.o