1 #
2 # Custom kernel for Marvell DB-88F5xxx boards.
3 #
4 # $FreeBSD: releng/8.1/sys/arm/conf/DB-88F5XXX 207399 2010-04-29 22:44:04Z thompsa $
5 #
6
7 ident DB-88F5XXX
8 include "../mv/orion/std.db88f5xxx"
9
10 options SOC_MV_ORION
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 NFSCLIENT #Network Filesystem Client
21 options NFSLOCKD #Network Lock Manager
22 options NFS_ROOT #NFS usable as /, requires NFSCLIENT
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 DIAGNOSTIC
43 #options INVARIANTS #Enable calls of extra sanity checking
44 #options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
45 options KDB
46 options WITNESS #Enable checks to detect deadlocks and cycles
47 options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
48 #options WITNESS_KDB
49
50 device pci
51
52 # Pseudo devices
53 device md
54 device loop
55 device pty
56 device random
57
58 # Serial ports
59 device uart
60
61 # Networking
62 device ether
63 device mge # Marvell Gigabit Ethernet controller
64 device mii
65 device e1000phy
66 device bpf
67 options DEVICE_POLLING
68 options HZ=1000
69
70 # I2C (TWSI)
71 device iic
72 device iicbus
73 device ds133x
74
75 # USB
76 options USB_DEBUG # enable debug msgs
77 device usb
78 device ehci
79 device umass
80 device scbus
81 device pass
82 device da
83
84 # SATA
85 device ata
86 device atadisk
Cache object: 5e8585a4191dd7b20023602bc5cfc6ef
|