FreeBSD/Linux Kernel Cross Reference
sys/arm/conf/DB-78XXX
1 #
2 # Custom kernel for Marvell DB-78xx boards.
3 #
4 # $FreeBSD: releng/10.0/sys/arm/conf/DB-78XXX 253845 2013-07-31 17:21:18Z obrien $
5 #
6
7 ident DB-88F78XX
8 include "../mv/discovery/std.db78xxx"
9
10 options SOC_MV_DISCOVERY
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 NANDFS #NAND Filesystem
21 options NFSCL #New Network Filesystem Client
22 options NFSLOCKD #Network Lock Manager
23 options NFS_ROOT #NFS usable as /, requires NFSCL
24 options BOOTP
25 options BOOTP_NFSROOT
26 options BOOTP_NFSV3
27 options BOOTP_WIRED_TO=mge0
28
29 #options ROOTDEVNAME=\"ufs:/dev/da0a\"
30
31 options SYSVSHM #SYSV-style shared memory
32 options SYSVMSG #SYSV-style message queues
33 options SYSVSEM #SYSV-style semaphores
34 options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
35 options MUTEX_NOINLINE
36 options RWLOCK_NOINLINE
37 options NO_FFS_SNAPSHOT
38 options NO_SWAPPING
39
40 # Debugging
41 options ALT_BREAK_TO_DEBUGGER
42 options DDB
43 #options DEADLKRES #Enable the deadlock resolver
44 options DIAGNOSTIC
45 #options INVARIANTS #Enable calls of extra sanity checking
46 #options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
47 options KDB
48 options WITNESS #Enable checks to detect deadlocks and cycles
49 options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
50 #options WITNESS_KDB
51
52 device pci
53
54 # Pseudo devices
55 device loop
56 device md
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 # USB
70 options USB_DEBUG # enable debug msgs
71 device usb
72 device ehci
73 device umass
74 device scbus
75 device pass
76 device da
77
78 # I2C (TWSI)
79 device iic
80 device iicbus
81 device ds133x
82
83 # SATA
84 device mvs
85
86 # NAND
87 device nand
88
89 # Flattened Device Tree
90 options FDT
91 options FDT_DTB_STATIC
92 makeoptions FDT_DTS_FILE=db78100.dts
Cache object: 71e94a7831f22a110f2da92088a8676c
|