diff options
author | ian <ian@FreeBSD.org> | 2016-07-15 21:30:19 +0000 |
---|---|---|
committer | ian <ian@FreeBSD.org> | 2016-07-15 21:30:19 +0000 |
commit | d1e18217aa83efb17a14558bf39c76b7eb05ba40 (patch) | |
tree | e0364a2b7a470be2927af6ac1818aac01d5fa4f0 /sys/arm/conf/RPI2 | |
parent | 2f186ce5b4827d0577f88fb47323ce09c5439997 (diff) | |
download | FreeBSD-src-d1e18217aa83efb17a14558bf39c76b7eb05ba40.zip FreeBSD-src-d1e18217aa83efb17a14558bf39c76b7eb05ba40.tar.gz |
MFC r302502, r302505:
Consolidate debugging options from all arm kernel configs to std.arm[v6].
Correct syntax errors that only show up when compiled with INVARIANTS.
Approved by: re (gjb)
Diffstat (limited to 'sys/arm/conf/RPI2')
-rw-r--r-- | sys/arm/conf/RPI2 | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/sys/arm/conf/RPI2 b/sys/arm/conf/RPI2 index e669580..75e1b7e 100644 --- a/sys/arm/conf/RPI2 +++ b/sys/arm/conf/RPI2 @@ -31,21 +31,6 @@ options SCHED_ULE # ULE scheduler options SMP # Enable multiple cores options PLATFORM -# Debugging for use in -current -makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols -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: -#options KDB_TRACE # Print a stack trace for a panic -# For full debugger support use this instead: -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 -#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed -#options DIAGNOSTIC - # NFS root from boopt/dhcp #options BOOTP #options BOOTP_NFSROOT @@ -88,7 +73,6 @@ device random # Entropy device # USB support device usb -options USB_DEBUG device dwcotg # DWC OTG controller # USB storage support |