# QEMU -- 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
cpu		CPU_MIPS4KC
ident		CAVIUM

#makeoptions	ARCH_FLAGS=-march=mips32

# Don't build any modules yet.
makeoptions	MODULES_OVERRIDE=""

options		KERNVIRTADDR=0x80100000
include		"../mips4k/octeon32/std.octeon32"

hints		"OCTEON.hints"		#Default places to look for devices.

makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols

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		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

device		genclock
device		loop
device		ether
device		md
device		mem
device		uart
device		uart_oct16550
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
options		SMP