FreeBSD/Linux Kernel Cross Reference
sys/arm/conf/EA3250
1 #
2 # Custom kernel for EA3250 boards.
3 #
4 # $FreeBSD: releng/10.0/sys/arm/conf/EA3250 253845 2013-07-31 17:21:18Z obrien $
5 #
6
7 ident EA3250
8 include "../lpc/std.lpc"
9 hints "EA3250.hints"
10
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 #Network Filesystem Client
21 options NFSLOCKD #Network Lock Manager
22 options NFS_ROOT #NFS usable as /, requires NFSCLIENT
23 options MSDOSFS
24 options BOOTP
25 options BOOTP_NFSROOT
26 options BOOTP_NFSV3
27 options BOOTP_WIRED_TO=lpe0
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 # Pseudo devices
53 device loop
54 device md
55 device pty
56 device random
57
58 # Serial ports
59 device uart
60
61 # Networking
62 device ether
63 device mii
64 device bpf
65 device lpe
66
67 # USB
68 options USB_DEBUG
69 device usb
70 device ohci
71 device umass
72 device scbus
73 device pass
74 device da
75
76 device mmc
77 device mmcsd
78 device lpcmmc
79
80 device gpio
81 device gpioled
82 device lpcgpio
83
84 device spibus
85 device lpcspi
86 device ssd1289
87
88 device lpcfb
89
90 # DMAC
91 device dmac
92
93 # Flattened Device Tree
94 options FDT
95 options FDT_DTB_STATIC
96 makeoptions FDT_DTS_FILE=ea3250.dts
Cache object: 7cecc7ffd92b5b91b0101b735da84124
|