diff options
author | ian <ian@FreeBSD.org> | 2014-09-11 15:36:36 +0000 |
---|---|---|
committer | ian <ian@FreeBSD.org> | 2014-09-11 15:36:36 +0000 |
commit | a5cc4ff42567fb4efaa3666b43865d168e26d28e (patch) | |
tree | b7fe25b0a000796748592b34463d44b8ddf93735 /sys/arm/conf/VERSATILEPB | |
parent | 9b5b98982ca5d1dbe97700ab676dcb8864f6f2ff (diff) | |
download | FreeBSD-src-a5cc4ff42567fb4efaa3666b43865d168e26d28e.zip FreeBSD-src-a5cc4ff42567fb4efaa3666b43865d168e26d28e.tar.gz |
Disable debugging-related options in all ARM kernel configs for stable-10.
This is a direct commit to stable-10. The following options are disabled
in all arm kernel configs:
DEADLKRES
DIAGNOSTIC
INVARIANTS
INVARIANTS_SUPPORT
WITNESS
WITNESS_SKIPSPIN
Approved by: re(gjb)
Diffstat (limited to 'sys/arm/conf/VERSATILEPB')
-rw-r--r-- | sys/arm/conf/VERSATILEPB | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/arm/conf/VERSATILEPB b/sys/arm/conf/VERSATILEPB index fb2087a..e977a4d 100644 --- a/sys/arm/conf/VERSATILEPB +++ b/sys/arm/conf/VERSATILEPB @@ -92,8 +92,8 @@ makeoptions SC_DFLT_FONT=cp437 options KDB 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 INVARIANTS # Enable calls of extra sanity checking +#options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS device md device random # Entropy device |