# # Makefile for the linux kernel debugger # obj-$(CONFIG_KGDB) += debug_core.o gdbstub.o obj-$(CONFIG_KGDB_KDB) += kdb/ f='http://distanz.ch/favicon.ico'/>