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