Attilio Rao 88cbfa852e Add the options DEADLKRES (introducing the deadlock resolver thread) in
the 'debugging' section of any HEAD kernel and enable for the mainstream
ones, excluding the embedded architectures.
It may, of course, enabled on a case-by-case basis.

Sponsored by:	Sandvine Incorporated
Requested by:	emaste
Discussed with:	kib
2010-02-10 16:30:04 +00:00

99 lines
3.3 KiB
Plaintext

# OCTEON1 -- Configuration kernel for all Octeon1 SoCs from Cavium Networks
#
# 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$
##############################################################################
### ###
### PLEASE NOTE: This file is the experimental 64-bit kernel. If you want ###
### a stable kernel, please use the 32-bit OCTEON1-32 instead. ###
### ###
##############################################################################
machine mips
cpu CPU_MIPS4KC
ident OCTEON1
makeoptions ARCH_FLAGS="-march=mips64 -mabi=64"
makeoptions LDSCRIPT_NAME=ldscript.mips.octeon1.64
# Don't build any modules yet.
makeoptions MODULES_OVERRIDE=""
makeoptions TARGET_BIG_ENDIAN=defined
makeoptions TARGET_64BIT=defined
makeoptions KERNLOADADDR=0xffffffff80100000
options KERNVIRTADDR=0xffffffff80100000
include "../cavium/std.octeon1"
hints "OCTEON1.hints" #Default places to look for devices.
makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
#XXXimp: Need to make work with 64-bit too
options ISA_MIPS64
options DDB
options KDB
options SCHED_4BSD #4BSD scheduler
options INET #InterNETworking
options NFSCLIENT #Network Filesystem Client
#options NFS_ROOT #NFS usable as /, requires NFSCLIENT
options PSEUDOFS #Pseudo-filesystem framework
options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
#options ROOTDEVNAME=\"ufs:ad0s1a\" # Original
options NO_SWAPPING
options FFS #Berkeley Fast Filesystem
options SOFTUPDATES #Enable FFS soft updates support
options UFS_ACL #Support for access control lists
options UFS_DIRHASH #Improve performance on big directories
# Debugging for use in -current
#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
#XXXimp device genclock
device loop
device ether
device md
device uart
nodevice uart_ns8250
device rgmii
#options VERBOSE_SYSINIT
#
# Use the following for Compact Flash file-system
device cf
options ROOTDEVNAME = \"ufs:cf0s2\" # Unmask if compact flash is needed as RFS
#
# Use the following for RFS in mem-device
#options MD_ROOT
#options ROOTDEVNAME = \"ufs:md0\"
#options MD_ROOT_SIZE = 21264
#XXX: Bring up UP first, then generalize.
#options SMP