# SPDX-License-Identifier: GPL-2.0-only # # Makefile for the linux kernel debugger # obj-$(CONFIG_KGDB) += debug_core.o gdbstub.o obj-$(CONFIG_KGDB_KDB) += kdb/