2 # Makefile for the linux kernel.
6 # If you want to play with the HW breakpoints then you will
7 # need to add define this, which will give you a stack backtrace
8 # on the console port whenever a DBG interrupt occurs. You have to
9 # set up you HW breakpoints to trigger a DBG interrupt:
11 # EXTRA_CFLAGS += -DTRAP_DBG_INTERRUPT
12 # EXTRA_AFLAGS += -DTRAP_DBG_INTERRUPT
15 ifdef CONFIG_FULLDEBUG
16 AFLAGS
+= -DDEBUGGER_COMPATIBLE_CACHE
=1