1 #
2 # Custom kernel for Marvell DB-88F5xxx boards.
3 #
4 # $FreeBSD: releng/10.2/sys/arm/conf/DB-88F5XXX 283404 2015-05-24 15:21:47Z ian $
5 #
6
7 ident DB-88F5XXX
8 include "../mv/orion/std.db88f5xxx"
9
10 options SOC_MV_ORION
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 NFSCL # New Network Filesystem Client
23 options NFSLOCKD # Network Lock Manager
24 options NFS_ROOT # NFS usable as /, requires NFSCL
25 options BOOTP
26 options BOOTP_NFSROOT
27 options BOOTP_NFSV3
28 options BOOTP_WIRED_TO=mge0
29
30 #options ROOTDEVNAME=\"ufs:/dev/da0a\"
31
32 options SYSVSHM # SYSV-style shared memory
33 options SYSVMSG # SYSV-style message queues
34 options SYSVSEM # SYSV-style semaphores
35 options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions
36 options MUTEX_NOINLINE
37 options RWLOCK_NOINLINE
38 options NO_FFS_SNAPSHOT
39 options NO_SWAPPING
40
41 # Debugging
42 options ALT_BREAK_TO_DEBUGGER
43 options DDB
44 #options DEADLKRES # Enable the deadlock resolver
45 #options DIAGNOSTIC
46 #options INVARIANTS # Enable calls of extra sanity checking
47 #options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
48 options KDB
49 #options WITNESS # Enable checks to detect deadlocks and cycles
50 #options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
51 #options WITNESS_KDB
52
53 device pci
54
55 # Pseudo devices
56 device md
57 device loop
58 device random
59
60 # Serial ports
61 device uart
62
63 # Networking
64 device ether
65 device mge # Marvell Gigabit Ethernet controller
66 device mii
67 device e1000phy
68 device bpf
69 options DEVICE_POLLING
70 options HZ=1000
71
72 # I2C (TWSI)
73 device iic
74 device iicbus
75 device ds133x
76
77 # USB
78 options USB_DEBUG # enable debug msgs
79 device usb
80 device ehci
81 device umass
82 device scbus
83 device pass
84 device da
85
86 # SATA
87 device mvs
88
89 # Flattened Device Tree
90 options FDT
91 makeoptions FDT_DTS_FILE=db88f5281.dts
Cache object: 27b24c0016cee778822b95253d800f9a
|