diff --git a/sys/arm/conf/IQ31244 b/sys/arm/conf/IQ31244
index 1a6b04562485..8439a3ae4404 100644
--- a/sys/arm/conf/IQ31244
+++ b/sys/arm/conf/IQ31244
@@ -32,7 +32,6 @@ include		"../xscale/i80321/std.iq31244"
 
 #makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols
 makeoptions	CONF_CFLAGS=-mcpu=xscale
-options		DDB
 options		HZ=100
 #options		DEVICE_POLLING
 
diff --git a/sys/arm/conf/SIMICS b/sys/arm/conf/SIMICS
index 94ffa3a5a7ce..08a743aa4742 100644
--- a/sys/arm/conf/SIMICS
+++ b/sys/arm/conf/SIMICS
@@ -71,7 +71,6 @@ device		uart
 					# output.  Adds ~215k to driver.
 
 # Debugging for use in -current
-options 	DDB			#Enable the kernel debugger
 #options 	INVARIANTS		#Enable calls of extra sanity checking
 #options 	INVARIANT_SUPPORT	#Extra sanity checks of internal structures, required by INVARIANTS
 #options 	WITNESS			#Enable checks to detect deadlocks and cycles