# | |
# Makefile for the linux kernel. | |
# | |
# | |
# If you want to play with the HW breakpoints then you will | |
# need to add define this, which will give you a stack backtrace | |
# on the console port whenever a DBG interrupt occurs. You have to | |
# set up you HW breakpoints to trigger a DBG interrupt: | |
# | |
# EXTRA_CFLAGS += -DTRAP_DBG_INTERRUPT | |
# EXTRA_AFLAGS += -DTRAP_DBG_INTERRUPT | |
# | |
ifdef CONFIG_FULLDEBUG | |
AFLAGS += -DDEBUGGER_COMPATIBLE_CACHE=1 | |
endif | |
obj-y := config.o | |
extra-y := $(BOARD)/crt0_$(MODEL).o |