[AVR32] NMI debugging
[linux-block.git] / arch / avr32 / kernel / Makefile
index bc224a4e39fe72f6d691d7464aee46b1e1c23c20..e4b6d122b03341702f7b2d1477fd6d45b3fe9481 100644 (file)
@@ -12,3 +12,4 @@ obj-y                         += init_task.o switch_to.o cpu.o
 obj-$(CONFIG_MODULES)          += module.o avr32_ksyms.o
 obj-$(CONFIG_KPROBES)          += kprobes.o
 obj-$(CONFIG_STACKTRACE)       += stacktrace.o
+obj-$(CONFIG_NMI_DEBUGGING)    += nmi_debug.o