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