DB-88F5XXX revision 271428 
1#
2# Custom kernel for Marvell DB-88F5xxx boards.
3#
4# $FreeBSD: stable/10/sys/arm/conf/DB-88F5XXX 271428 2014-09-11 15:36:36Z ian $
5#
6
7ident		DB-88F5XXX
8include		"../mv/orion/std.db88f5xxx"
9
10options 	SOC_MV_ORION
11makeoptions	MODULES_OVERRIDE=""
12
13#makeoptions	DEBUG=-g		# Build kernel with gdb(1) debug symbols
14makeoptions	WERROR="-Werror"
15
16options 	SCHED_4BSD		# 4BSD scheduler
17options 	INET			# InterNETworking
18options 	INET6			# IPv6 communications protocols
19options 	GEOM_PART_BSD		# BSD partition scheme
20options 	GEOM_PART_MBR		# MBR partition scheme
21options 	TMPFS			# Efficient memory filesystem
22options 	FFS			# Berkeley Fast Filesystem
23options 	NFSCL			# New Network Filesystem Client
24options 	NFSLOCKD		# Network Lock Manager
25options 	NFS_ROOT		# NFS usable as /, requires NFSCL
26options 	BOOTP
27options 	BOOTP_NFSROOT
28options 	BOOTP_NFSV3
29options 	BOOTP_WIRED_TO=mge0
30
31#options 	ROOTDEVNAME=\"ufs:/dev/da0a\"
32
33options 	SYSVSHM			# SYSV-style shared memory
34options 	SYSVMSG			# SYSV-style message queues
35options 	SYSVSEM			# SYSV-style semaphores
36options 	_KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions
37options 	MUTEX_NOINLINE
38options 	RWLOCK_NOINLINE
39options 	NO_FFS_SNAPSHOT
40options 	NO_SWAPPING
41
42# Debugging
43options 	ALT_BREAK_TO_DEBUGGER
44options 	DDB
45#options 	DEADLKRES		# Enable the deadlock resolver
46#options 	DIAGNOSTIC
47#options 	INVARIANTS		# Enable calls of extra sanity checking
48#options 	INVARIANT_SUPPORT	# Extra sanity checks of internal structures, required by INVARIANTS
49options 	KDB
50#options 	WITNESS			# Enable checks to detect deadlocks and cycles
51#options 	WITNESS_SKIPSPIN	# Don't run witness on spinlocks for speed
52#options 	WITNESS_KDB
53
54device		pci
55
56# Pseudo devices
57device		md
58device		loop
59device		random
60
61# Serial ports
62device		uart
63
64# Networking
65device		ether
66device		mge			# Marvell Gigabit Ethernet controller
67device		mii
68device		e1000phy
69device		bpf
70options 	DEVICE_POLLING
71options 	HZ=1000
72
73# I2C (TWSI)
74device		iic
75device		iicbus
76device		ds133x
77
78# USB
79options 	USB_DEBUG		# enable debug msgs
80device		usb
81device		ehci
82device		umass
83device		scbus
84device		pass
85device		da
86
87# SATA
88device		mvs
89
90# Flattened Device Tree
91options 	FDT
92makeoptions	FDT_DTS_FILE=db88f5281.dts
93