# $FreeBSD$

options 	FDT

# Undo options from sys/conf/NOTES that we do not want...

nooptions	COMPAT_FREEBSD4
nooptions	COMPAT_FREEBSD5
nooptions	COMPAT_FREEBSD6
nooptions	COMPAT_FREEBSD7
nooptions	COMPAT_FREEBSD9
nooptions	PPC_PROBE_CHIPSET
nooptions	MAXCPU		# value is set in machine/param.h

# Devices in sys/conf/NOTES for which no such hardware exists on arm,
# or the drivers don't compile...

nodevice	sym

nodevice	ccr
nodevice	cxgbe
nodevice	cxgbev
nodevice	snd_cmi

nodevice	mpr
nodevice	mps

# Add devices which are specific to various arm platforms...

device		twsi		# i2c controller on Marvel and Allwinner