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