1# SPDX-License-Identifier: GPL-2.0-only 2# 3# Makefile for the linux kernel debugger 4# 5 6obj-$(CONFIG_KGDB) += debug_core.o gdbstub.o 7obj-$(CONFIG_KGDB_KDB) += kdb/ 8