diff options
| author | Ian Lepore <ian@FreeBSD.org> | 2016-07-09 20:42:57 +0000 |
|---|---|---|
| committer | Ian Lepore <ian@FreeBSD.org> | 2016-07-09 20:42:57 +0000 |
| commit | 7651aa600bdae649a55cf66874c5a12d72e4b22b (patch) | |
| tree | bb6ca7db545b057ab4c03d4c29476d5bde425add /sys/arm/conf/DREAMPLUG-1001 | |
| parent | 9e749f25daebd3729ec78dc0a3e4ed4e08312a2a (diff) | |
| download | src-7651aa600bdae649a55cf66874c5a12d72e4b22b.tar.gz src-7651aa600bdae649a55cf66874c5a12d72e4b22b.zip | |
Consolidate debugging options from all arm kernel configs to std.arm[v6].
Notes
Notes:
svn path=/head/; revision=302505
Diffstat (limited to 'sys/arm/conf/DREAMPLUG-1001')
| -rw-r--r-- | sys/arm/conf/DREAMPLUG-1001 | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/sys/arm/conf/DREAMPLUG-1001 b/sys/arm/conf/DREAMPLUG-1001 index 5391d185ceb6..21e4f61e77dc 100644 --- a/sys/arm/conf/DREAMPLUG-1001 +++ b/sys/arm/conf/DREAMPLUG-1001 @@ -51,18 +51,6 @@ options SYSVMSG # SYSV-style message queues options SYSVSEM # SYSV-style semaphores options _KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions -# Debugging for use in -current -makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols -options ALT_BREAK_TO_DEBUGGER -options KDB # Enable kernel debugger support -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 WITNESS_KDB -#options DIAGNOSTIC - # Enable these options for nfs root configured via BOOTP. #options BOOTP #options BOOTP_NFSROOT @@ -105,7 +93,6 @@ device e1000phy # USB options USB_HOST_ALIGN=32 # Align DMA to cacheline -#options USB_DEBUG # Compile in USB debug support device usb # Basic usb support device ehci # USB host controller device umass # Mass storage |