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