FreeBSD/Linux Kernel Cross Reference
sys/arm/conf/ARMADAXP
1 #
2 # Custom kernel for Marvell Armada XP
3 #
4 # $FreeBSD: releng/10.0/sys/arm/conf/ARMADAXP 254580 2013-08-20 20:40:20Z andrew $
5 #
6
7 ident MV-88F78XX0
8 include "../mv/armadaxp/std.mv78x60"
9
10 options SOC_MV_ARMADAXP
11 makeoptions MODULES_OVERRIDE=""
12
13 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
14 makeoptions WERROR="-Werror"
15
16 #options SCHED_ULE #ULE scheduler
17 options SCHED_4BSD #4BSD scheduler
18 options INET #InterNETworking
19 options INET6 #IPv6 communications protocols
20 options FFS #Berkeley Fast Filesystem
21 options NFSCL #Network Filesystem Client
22 options NFSLOCKD #Network Lock Manager
23 options NFS_ROOT #NFS usable as /, requires NFSCLIENT
24 options BOOTP
25 options BOOTP_NFSROOT
26 options BOOTP_NFSV3
27 options BOOTP_WIRED_TO=mge0
28
29 options GEOM_PART_GPT
30 options ROOTDEVNAME=\"ufs:/dev/da0p1\"
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 options VFP
41
42 options SMP
43
44 # Debugging
45 #options VERBOSE_SYSINIT
46 options ALT_BREAK_TO_DEBUGGER
47 options DDB
48 options GDB
49 #options DIAGNOSTIC
50 #options INVARIANTS #Enable calls of extra sanity checking
51 #options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
52 options KDB
53 options KDB_TRACE
54 #options KTR
55 #options KTR_VERBOSE=0
56 #options KTR_ENTRIES=16384
57 #options KTR_MASK=(KTR_SPARE2)
58 #options KTR_COMPILE=KTR_ALL
59 #options WITNESS #Enable checks to detect deadlocks and cycles
60 #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
61 #options WITNESS_KDB
62
63 # Pseudo devices
64 device random
65 device pty
66 device loop
67 device md
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 # SATA
79 device ata
80 #device mvs
81
82 # Serial ports
83 device uart
84
85 # I2C (TWSI)
86 device iic
87 device iicbus
88
89 #Network
90 device ether
91 device mge # Marvell Gigabit Ethernet controller
92 device mii
93 device e1000phy
94 device bpf
95 options HZ=1000
96 options DEVICE_POLLING
97 device vlan
98
99 #PCI/PCIE
100 device pci
101
102 #FDT
103 options FDT
104 options FDT_DTB_STATIC
105 makeoptions FDT_DTS_FILE=db78460.dts
Cache object: b17fa45e4dbade44fadf89c5a6a61862
|