1*ec8f24b7SThomas Gleixner# SPDX-License-Identifier: GPL-2.0-only 2c4338209SJason Wessel# 3c4338209SJason Wessel# Makefile for the linux kernel debugger 4c4338209SJason Wessel# 5c4338209SJason Wessel 653197fc4SJason Wesselobj-$(CONFIG_KGDB) += debug_core.o gdbstub.o 75d5314d6SJason Wesselobj-$(CONFIG_KGDB_KDB) += kdb/ 8