xref: /freebsd/sys/arm/conf/ARMADA38X (revision d9f0ce31900a48d1a2bfc1c8c86f79d1e831451a)
1#
2# Kernel configuration for Marvell Armada38x
3#
4# $FreeBSD$
5#
6
7include 	"../mv/armada38x/std.armada38x"
8include 	"std.armv6"
9
10ident 	ARMADA38X
11
12options 	SOC_MV_ARMADA38X
13
14makeoptions 	DEBUG=-g		# Build kernel with gdb(1) debug symbols
15makeoptions 	WERROR="-Werror"
16
17options 	MD_ROOT
18#makeoptions 	MFS_IMAGE=/path/to/miniroot
19#options 	ROOTDEVNAME=\"ufs:md0\"
20options 	ROOTDEVNAME=\"/dev/da0s1a\"
21
22options 	SCHED_ULE		# ULE scheduler
23#options 	SCHED_4BSD		# 4BSD scheduler
24
25options 	SMP
26
27# Debugging
28#options 	DEBUG
29#options 	VERBOSE_SYSINIT
30options 	ALT_BREAK_TO_DEBUGGER
31options 	DDB
32#options 	GDB
33#options 	DIAGNOSTIC
34options 	INVARIANTS		# Enable calls of extra sanity checking
35options 	INVARIANT_SUPPORT	# Extra sanity checks of internal structures, required by INVARIANTS
36options 	KDB
37options 	KDB_TRACE
38#options 	WITNESS			# Enable checks to detect deadlocks and cycles
39#options 	WITNESS_SKIPSPIN	# Don't run witness on spinlocks for speed
40#options 	WITNESS_KDB
41#options 	BOOTVERBOSE
42
43# Pseudo devices
44device		random
45device		pty
46device		loop
47device		md
48
49# Serial ports
50device		uart
51device		uart_snps
52
53# Network
54device		ether
55device		vlan
56device		mii
57device		bpf
58device		re
59
60# PCI
61device		pci
62
63# Interrupt controllers
64device		gic
65options 	INTRNG
66
67# Timers
68device		mpcore_timer
69
70# USB
71device		usb
72device		ehci
73device		xhci
74device		umass
75device		scbus
76device		pass
77device		da
78
79# I2C
80device		iic
81device		iicbus
82device		twsi
83
84#FDT
85options 	FDT
86options 	FDT_DTB_STATIC
87makeoptions 	FDT_DTS_FILE=armada-388-gp.dts
88