#################################RMI_BSD#####################################
# Copyright (c) 2003-2009 RMI Corporation
# All rights reserved.
# 
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions
# are met:
# 1. Redistributions of source code must retain the above copyright
#    notice, this list of conditions and the following disclaimer.
# 2. Redistributions in binary form must reproduce the above copyright
#    notice, this list of conditions and the following disclaimer in the
#    documentation and/or other materials provided with the distribution.
# 3. Neither the name of RMI Corporation, nor the names of its contributors,
#    may be used to endorse or promote products derived from this software
#    without specific prior written permission.
# 
# THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
# ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
# IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
# ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
# FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
# DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
# OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
# HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
# OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
# SUCH DAMAGE.
#################################RMI_BSD#####################################
# XLR -- Generic kernel configuration file for FreeBSD/mips
#
# 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$

machine 	mips mips
ident 		XLR
include		"../rmi/std.xlr"

makeoptions	MODULES_OVERRIDE=""
makeoptions	DEBUG=-g		# Build kernel with gdb(1) debug symbols
makeoptions	KERNLOADADDR=0x80100000
#profile		2

options 	SCHED_ULE		# ULE scheduler
#options 	VERBOSE_SYSINIT
#options 	SCHED_4BSD		# 4BSD scheduler
options 	SMP
options 	PREEMPTION		# Enable kernel thread preemption
#options 	FULL_PREEMPTION		# Enable kernel thread preemption
options 	INET			# InterNETworking
options 	INET6			# IPv6 communications protocols
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
options 	NFSCL
options 	NFS_ROOT
#
options 	BOOTP
options 	BOOTP_NFSROOT
options 	BOOTP_NFSV3
options 	BOOTP_WIRED_TO=nlge0
options 	BOOTP_COMPAT
options 	ROOTDEVNAME=\"nfs:10.1.1.8:/usr/extra/nfsroot\"
#
#options 	MD_ROOT			# MD is a potential root device
#options 	MD_ROOT_SIZE=27000
#options 	MD_ROOT_SIZE=5120
#options 	ROOTDEVNAME=\"ufs:md0\"
options 	_KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions
options 	HZ=1000	
options 	NO_SWAPPING

#Debugging options
options 	KTRACE			# ktrace(1) support
options 	DDB
options 	KDB
options 	GDB
options 	ALT_BREAK_TO_DEBUGGER
options  	BREAK_TO_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 	KTR			# ktr(4) and ktrdump(8) support
#options 	KTR_COMPILE=(KTR_LOCK|KTR_PROC|KTR_INTR|KTR_CALLOUT|KTR_UMA|KTR_SYSC)
#options 	KTR_ENTRIES=131072

#options 	LOCK_PROFILING
#options 	SLEEPQUEUE_PROFILING
#options 	TURNSTILE_PROFILING

device		pci
#device		ata
#device		atadisk
device 		uart
# Pseudo
device 		loop
device 		random
device 		md
device		bpf

# Network
device		miibus
device		nlge
device 		ether
device		re
device		msk

device		da
device		scbus
device		ehci		# EHCI PCI->USB interface (USB 2.0)
device		usb		# USB Bus (required)
#options 	USB_DEBUG	# enable debug msgs
#device		uhid		# "Human Interface Devices"
device		umass		# Disks/Mass storage - Requires scbus and da

#device		cfi

#i2c
device		ic
device		iic
device		iicbb
device		iicbus
device		ds1374u	# RTC on XLR boards
device		max6657	# Temparature sensor on XLR boards
device		at24co2n	# EEPROM on XLR boards

#crypto
# Not yet
#device		cryptodev
#device		crypto
#device		rmisec