#
# Custom kernel for Marvell GuruPlug server plus devices.
#
# $FreeBSD$
#

ident		GURUPLUGPLUS
include		"../mv/kirkwood/std.guruplugplus"

options		SOC_MV_KIRKWOOD
makeoptions	MODULES_OVERRIDE=""

makeoptions	WERROR="-Werror"

options		SCHED_4BSD			# 4BSD scheduler
options		INET				# InterNETworking
options		FFS				# Berkeley Fast Filesystem

options		GEOM_LABEL
options		GEOM_PART_GPT
options		SOFTUPDATES			# Enable FF Soft updates support
options		MSDOSFS				# Enable MSDOS Filesystems
options		PROCFS				# Process Filesystem
options		PSEUDOFS			# Pseudo-filesystem support

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		KDB

# Pseudo devices
device		random
device		pty
device		loop

# Serial ports
device		uart

# Networking
device		ether
device		mge				# Marvell Gigabit Ethernet controller
device		mii
device		e1000phy
device		bpf
options		HZ=1000
options		DEVICE_POLLING
device		vlan

# USB
options 	USB_DEBUG			# enable debug msgs
device		usb
device		ehci
device		umass
device		scbus
device		da

device		ata
device		atadisk

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

# extra
options		SW_WATCHDOG