From 748e4f3d702def1a4bff191e0cf93b6a05340f01 Mon Sep 17 00:00:00 2001 From: hc <hc@nodka.com> Date: Fri, 10 May 2024 07:41:34 +0000 Subject: [PATCH] add gpio led uart --- kernel/kernel/livepatch/Makefile | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/kernel/kernel/livepatch/Makefile b/kernel/kernel/livepatch/Makefile index b36ceda..cf03d4b 100644 --- a/kernel/kernel/livepatch/Makefile +++ b/kernel/kernel/livepatch/Makefile @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: GPL-2.0-only obj-$(CONFIG_LIVEPATCH) += livepatch.o -livepatch-objs := core.o patch.o shadow.o transition.o +livepatch-objs := core.o patch.o shadow.o state.o transition.o -- Gitblit v1.6.2