diff options
| -rw-r--r-- | sys/arm/conf/IQ31244 | 1 | ||||
| -rw-r--r-- | sys/arm/conf/SIMICS | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/sys/arm/conf/IQ31244 b/sys/arm/conf/IQ31244 index bf783b9..55e639c 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 94ffa3a..08a743a 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 |
