#
# Kernel configuration for Marvell Armada38x
#
# $FreeBSD$
#

include 	"../mv/armada38x/std.armada38x"
include 	"std.armv6"

ident 	ARMADA38X

options 	SOC_MV_ARMADA38X

makeoptions 	WERROR="-Werror"

options 	MD_ROOT
#makeoptions 	MFS_IMAGE=/path/to/miniroot
#options 	ROOTDEVNAME=\"ufs:md0\"
options 	ROOTDEVNAME=\"/dev/da0s1a\"

options 	SCHED_ULE		# ULE scheduler
options 	SMP

options		VM_KMEM_SIZE_MAX=0x9CCD000

# Pseudo devices
device		random
device		pty
device		loop
device		md

# Serial ports
device		uart
device		uart_snps

# Network
device		ether
device		vlan
device		mii
device		bpf
device		re
device		mdio
device		etherswitch
device		e6000sw

# PCI
device		pci

# Interrupt controllers
device		gic
options 	INTRNG

# Timers
device		mpcore_timer

# USB
device		usb
device		ehci
device		xhci
device		umass
device		scbus
device		pass
device		da

# SATA
device		ahci

# I2C
device		iic
device		iicbus
device		twsi

# CESA
device		cesa
device		crypto
device		cryptodev

# L2 Cache
device		pl310

#FDT
options 	FDT
options 	FDT_DTB_STATIC
makeoptions 	FDT_DTS_FILE=armada-388-gp.dts