From e99b3a8d1a8b76127618eff27ad27f7a96dfe547 Mon Sep 17 00:00:00 2001 From: ian Date: Mon, 12 Jan 2015 02:29:23 +0000 Subject: [PATCH] Enable ALT_BREAK_TO_DEBUGGER for rpi. --- sys/arm/conf/RPI-B | 1 + 1 file changed, 1 insertion(+) diff --git a/sys/arm/conf/RPI-B b/sys/arm/conf/RPI-B index db6d3b552970..0b886dd0582e 100644 --- a/sys/arm/conf/RPI-B +++ b/sys/arm/conf/RPI-B @@ -60,6 +60,7 @@ options VFP # Enable floating point hardware support # Debugging for use in -current makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols options BREAK_TO_DEBUGGER +options ALT_BREAK_TO_DEBUGGER #options VERBOSE_SYSINIT # Enable verbose sysinit messages options KDB # Enable kernel debugger support # For minimum debugger support (stable branch) use: