#
# Custom kernel for EA3250 boards.
#
# $FreeBSD$
#

ident		EA3250
include		"../lpc/std.lpc"
hints		"EA3250.hints"

makeoptions	MODULES_OVERRIDE=""

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

options 	SCHED_4BSD		#4BSD scheduler
options 	INET			#InterNETworking
options 	INET6			#IPv6 communications protocols
options 	FFS			#Berkeley Fast Filesystem
options 	NFSCL			#Network Filesystem Client
options 	NFSLOCKD		#Network Lock Manager
options 	NFS_ROOT		#NFS usable as /, requires NFSCLIENT
options 	MSDOSFS
options 	BOOTP
options 	BOOTP_NFSROOT
options 	BOOTP_NFSV3
options 	BOOTP_WIRED_TO=lpe0

#options 	ROOTDEVNAME=\"ufs:/dev/da0a\"

options 	SYSVSHM			#SYSV-style shared memory
options 	SYSVMSG			#SYSV-style message queues
options 	SYSVSEM			#SYSV-style semaphores
options 	_KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
options 	MUTEX_NOINLINE
options 	RWLOCK_NOINLINE
options 	NO_FFS_SNAPSHOT
options 	NO_SWAPPING

# Debugging
options 	ALT_BREAK_TO_DEBUGGER
options 	DDB
#options 	DEADLKRES		#Enable the deadlock resolver
options 	DIAGNOSTIC
#options 	INVARIANTS		#Enable calls of extra sanity checking
#options 	INVARIANT_SUPPORT	#Extra sanity checks of internal structures, required by INVARIANTS
options 	KDB
options 	WITNESS			#Enable checks to detect deadlocks and cycles
options 	WITNESS_SKIPSPIN	#Don't run witness on spinlocks for speed
#options 	WITNESS_KDB

# Pseudo devices
device		loop
device		md
device		pty
device		random
options 	YARROW_RNG		# Yarrow software RNG

# Serial ports
device		uart

# Networking
device		ether
device		mii
device		bpf
device		lpe

# USB
options 	USB_DEBUG
device		usb
device		ohci
device		umass
device		scbus
device		pass
device		da

device		mmc
device		mmcsd
device		lpcmmc

device		gpio
device		gpioled
device		lpcgpio

device		spibus
device		lpcspi
device		ssd1289

device		lpcfb

# DMAC
device		dmac

# Flattened Device Tree
options 	FDT
options 	FDT_DTB_STATIC
makeoptions	FDT_DTS_FILE=ea3250.dts