b9f41eb470
introduced option DEADLKRES. Reported by: danfe, julian, avg
158 lines
4.1 KiB
Plaintext
158 lines
4.1 KiB
Plaintext
# CAMBRIA -- Gateworks Cambria 235x boards
|
|
# kernel configuration file for FreeBSD/arm
|
|
#
|
|
# For more information on this file, please read the handbook section on
|
|
# Kernel Configuration Files:
|
|
#
|
|
# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
|
|
#
|
|
# The handbook is also available locally in /usr/share/doc/handbook
|
|
# if you've installed the doc distribution, otherwise always see the
|
|
# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
|
|
# latest information.
|
|
#
|
|
# An exhaustive list of options and more detailed explanations of the
|
|
# device lines is also present in the ../../conf/NOTES and NOTES files.
|
|
# If you are in doubt as to the purpose or necessity of a line, check first
|
|
# in NOTES.
|
|
#
|
|
# $FreeBSD$
|
|
|
|
ident CAMBRIA
|
|
|
|
include "../xscale/ixp425/std.ixp435"
|
|
# NB: memory mapping is defined in std.avila
|
|
include "../xscale/ixp425/std.avila"
|
|
options XSCALE_CACHE_READ_WRITE_ALLOCATE
|
|
#options ARM_USE_SMALL_ALLOC
|
|
#To statically compile in device wiring instead of /boot/device.hints
|
|
hints "CAMBRIA.hints" # Default places to look for devices.
|
|
|
|
makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
|
|
makeoptions CONF_CFLAGS=-mcpu=xscale
|
|
makeoptions MODULES_OVERRIDE=""
|
|
#options HZ=1000
|
|
options HZ=100
|
|
options DEVICE_POLLING
|
|
|
|
# Debugging for use in -current
|
|
options KDB
|
|
#options GDB
|
|
options DDB #Enable the kernel debugger
|
|
#options DEADLKRES #Enable the deadlock resolver
|
|
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
|
|
|
|
options SCHED_4BSD #4BSD scheduler
|
|
#options PREEMPTION
|
|
options INET #InterNETworking
|
|
options FFS #Berkeley Fast Filesystem
|
|
options SOFTUPDATES #Enable FFS soft updates support
|
|
options NFSCLIENT #Network Filesystem Client
|
|
options NFS_ROOT #NFS usable as /, requires NFSCLIENT
|
|
options BOOTP
|
|
options BOOTP_NFSROOT
|
|
options BOOTP_NFSV3
|
|
options BOOTP_WIRED_TO=npe0
|
|
options BOOTP_COMPAT
|
|
|
|
# Hardware performance counters
|
|
options HWPMC_HOOKS
|
|
device hwpmc
|
|
|
|
#options VERBOSE_SYSINIT
|
|
options VERBOSE_INIT_ARM
|
|
|
|
#device saarm
|
|
|
|
device pci
|
|
device uart
|
|
|
|
device ixpwdog # watchdog timer
|
|
|
|
options IXP4XX_FLASH_SIZE=0x02000000 # stock 2358 comes w/ 32M
|
|
device cfi # flash support
|
|
device cfid # flash disk support
|
|
device geom_redboot # redboot fis parser
|
|
|
|
# I2C Bus
|
|
device iicbus
|
|
device iicbb
|
|
device iic
|
|
|
|
device ixpiic # I2C bus glue
|
|
device ds1672 # DS1672 on I2C bus
|
|
device ad7418 # AD7418 on I2C bus
|
|
|
|
device cambria_fled # Font Panel LED on I2C bus
|
|
device cambria_led # 8-LED latch
|
|
|
|
device ata
|
|
device atadisk # ATA disk drives
|
|
device avila_ata # Gateworks CF/IDE support
|
|
|
|
device npe # Network Processing Engine
|
|
device npe_fw
|
|
device firmware
|
|
device qmgr # Q Manager (required by npe)
|
|
device mii # NB: required by npe
|
|
device ether
|
|
device bpf
|
|
|
|
device pty
|
|
device loop
|
|
device if_bridge
|
|
|
|
device md
|
|
device random # Entropy device
|
|
|
|
# Wireless NIC cards
|
|
device wlan # 802.11 support
|
|
options IEEE80211_DEBUG
|
|
options IEEE80211_SUPPORT_TDMA
|
|
options IEEE80211_SUPPORT_MESH
|
|
device wlan_wep # 802.11 WEP support
|
|
device wlan_ccmp # 802.11 CCMP support
|
|
device wlan_tkip # 802.11 TKIP support
|
|
device wlan_xauth
|
|
|
|
device ath # Atheros pci/cardbus NIC's
|
|
options ATH_DEBUG
|
|
options ATH_DIAGAPI
|
|
#options ATH_TX99_DIAG
|
|
device ath_rate_sample # SampleRate tx rate control for ath
|
|
|
|
options AH_DEBUG
|
|
#options AH_ASSERT
|
|
options AH_PRIVATE_DIAG
|
|
#device ath_ar5210
|
|
#device ath_ar5211
|
|
#
|
|
device ath_ar5212
|
|
#device ath_rf2413
|
|
#device ath_rf2425 # NB:supports 2417 too
|
|
#device ath_rf5111
|
|
device ath_rf5112
|
|
device ath_rf5413
|
|
#
|
|
#device ath_ar5416
|
|
#options AH_SUPPORT_AR5416 # NB: for 11n descriptor format
|
|
#device ath_ar9160
|
|
#device ath_ar9280
|
|
|
|
# NB: 2 USB 2.0 ports standard
|
|
device usb
|
|
options USB_EHCI_BIG_ENDIAN_DESC # handle big-endian byte order
|
|
#options USB_DEBUG
|
|
device ehci
|
|
device umass
|
|
device scbus # SCSI bus (required for SCSI)
|
|
device da # Direct Access (disks)
|
|
|
|
#device ural
|
|
#device zyd
|
|
#device wlan_amrr
|