1#
2# Custom kernel for Marvell DB-78xx boards.
3#
4# $FreeBSD$
5#
6
7ident		DB-88F78XX
8include		"../mv/discovery/std.db78xxx"
9
10options 	SOC_MV_DISCOVERY
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 	FFS			#Berkeley Fast Filesystem
20options 	NFSCL			#New Network Filesystem Client
21options 	NFSLOCKD		#Network Lock Manager
22options 	NFS_ROOT		#NFS usable as /, requires NFSCL
23options 	BOOTP
24options 	BOOTP_NFSROOT
25options 	BOOTP_NFSV3
26options 	BOOTP_WIRED_TO=mge0
27
28#options 	ROOTDEVNAME=\"ufs:/dev/da0a\"
29
30options 	SYSVSHM			#SYSV-style shared memory
31options 	SYSVMSG			#SYSV-style message queues
32options 	SYSVSEM			#SYSV-style semaphores
33options 	_KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
34options 	MUTEX_NOINLINE
35options 	RWLOCK_NOINLINE
36options 	NO_FFS_SNAPSHOT
37options 	NO_SWAPPING
38
39# Debugging
40options 	ALT_BREAK_TO_DEBUGGER
41options 	DDB
42#options 	DEADLKRES		#Enable the deadlock resolver
43options 	DIAGNOSTIC
44#options 	INVARIANTS		#Enable calls of extra sanity checking
45#options 	INVARIANT_SUPPORT	#Extra sanity checks of internal structures, required by INVARIANTS
46options 	KDB
47options 	WITNESS			#Enable checks to detect deadlocks and cycles
48options 	WITNESS_SKIPSPIN	#Don't run witness on spinlocks for speed
49#options 	WITNESS_KDB
50
51device		pci
52
53# Pseudo devices
54device		loop
55device		md
56device		pty
57device		random
58
59# Serial ports
60device		uart
61
62# Networking
63device		ether
64device		mge			# Marvell Gigabit Ethernet controller
65device		mii
66device		e1000phy
67device		bpf
68
69# USB
70options 	USB_DEBUG	# enable debug msgs
71device		usb
72device		ehci
73device		umass
74device		scbus
75device		pass
76device		da
77
78# I2C (TWSI)
79device		iic
80device		iicbus
81device		ds133x
82
83# SATA
84device		mvs
85
86# Flattened Device Tree
87options 	FDT
88makeoptions	FDT_DTS_FILE=db78100.dts
89