| ZEDBOARD (ace157c3a9a5eccf7b2c42ab7f829bce88b9b459) | ZEDBOARD (eb6e1a02772aad246cb93f3601789ab7d99d1ba1) |
|---|---|
| 1# 2# ZEDBOARD -- Custom configuration for the Xilinx Zynq-7000 based 3# ZedBoard (www.zedboard.org) 4# 5# For more information on this file, please read the config(5) manual page, 6# and/or the handbook section on Kernel Configuration Files: 7# 8# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html --- 16 unchanged lines hidden (view full) --- 25include "../xilinx/zedboard/std.zedboard" 26 27options SCHED_ULE # ULE scheduler 28#options NFSSD # Network Filesystem Server 29options SMP # Enable multiple cores 30 31# Debugging for use in -current 32makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols | 1# 2# ZEDBOARD -- Custom configuration for the Xilinx Zynq-7000 based 3# ZedBoard (www.zedboard.org) 4# 5# For more information on this file, please read the config(5) manual page, 6# and/or the handbook section on Kernel Configuration Files: 7# 8# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html --- 16 unchanged lines hidden (view full) --- 25include "../xilinx/zedboard/std.zedboard" 26 27options SCHED_ULE # ULE scheduler 28#options NFSSD # Network Filesystem Server 29options SMP # Enable multiple cores 30 31# Debugging for use in -current 32makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols |
| 33#options BREAK_TO_DEBUGGER | 33options ALT_BREAK_TO_DEBUGGER |
| 34options KDB # Enable kernel debugger support 35# For minimum debugger support (stable branch) use: 36#options KDB_TRACE # Print a stack trace for a panic 37# For full debugger support use this instead: 38options DDB # Enable the kernel debugger 39#options INVARIANTS # Enable calls of extra sanity checking 40#options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 41#options WITNESS # Enable checks to detect deadlocks and cycles --- 47 unchanged lines hidden --- | 34options KDB # Enable kernel debugger support 35# For minimum debugger support (stable branch) use: 36#options KDB_TRACE # Print a stack trace for a panic 37# For full debugger support use this instead: 38options DDB # Enable the kernel debugger 39#options INVARIANTS # Enable calls of extra sanity checking 40#options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 41#options WITNESS # Enable checks to detect deadlocks and cycles --- 47 unchanged lines hidden --- |