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/RPI-B | |
| 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/RPI-B')
| -rw-r--r-- | sys/arm/conf/RPI-B | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/sys/arm/conf/RPI-B b/sys/arm/conf/RPI-B index 5f6bc27..58d05ca 100644 --- a/sys/arm/conf/RPI-B +++ b/sys/arm/conf/RPI-B @@ -30,21 +30,6 @@ options HZ=100 options SCHED_4BSD # 4BSD scheduler 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 @@ -84,7 +69,6 @@ device random # Entropy device # USB support device usb -options USB_DEBUG device dwcotg # DWC OTG controller # USB storage support |
