FreeBSD/Linux Kernel Cross Reference
sys/arm/conf/RPI-B
1 #
2 # RPI-B -- Custom configuration for the Raspberry Pi
3 #
4 # For more information on this file, please read the config(5) manual page,
5 # and/or the handbook section on Kernel Configuration Files:
6 #
7 # http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
8 #
9 # The handbook is also available locally in /usr/share/doc/handbook
10 # if you've installed the doc distribution, otherwise always see the
11 # FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
12 # latest information.
13 #
14 # An exhaustive list of options and more detailed explanations of the
15 # device lines is also present in the ../../conf/NOTES and NOTES files.
16 # If you are in doubt as to the purpose or necessity of a line, check first
17 # in NOTES.
18 #
19 # $FreeBSD: releng/10.2/sys/arm/conf/RPI-B 285132 2015-07-04 14:50:32Z gjb $
20
21 ident RPI-B
22
23 include "../broadcom/bcm2835/std.rpi"
24
25 options HZ=100
26 options SCHED_4BSD # 4BSD scheduler
27 options PREEMPTION # Enable kernel thread preemption
28 options INET # InterNETworking
29 options INET6 # IPv6 communications protocols
30 options SCTP # Stream Control Transmission Protocol
31 options FFS # Berkeley Fast Filesystem
32 options SOFTUPDATES # Enable FFS soft updates support
33 options UFS_ACL # Support for access control lists
34 options UFS_DIRHASH # Improve performance on big directories
35 options UFS_GJOURNAL # Enable gjournal-based UFS journaling
36 options QUOTA # Enable disk quotas for UFS
37 options NFSCL # New Network Filesystem Client
38 options NFSLOCKD # Network Lock Manager
39 options NFS_ROOT # NFS usable as /, requires NFSCL
40 options MSDOSFS # MSDOS Filesystem
41 options CD9660 # ISO 9660 Filesystem
42 options PROCFS # Process filesystem (requires PSEUDOFS)
43 options PSEUDOFS # Pseudo-filesystem framework
44 options TMPFS # Efficient memory filesystem
45 options GEOM_PART_GPT # GUID Partition Tables
46 options GEOM_PART_BSD # BSD partition scheme
47 options GEOM_PART_MBR # MBR partition scheme
48 options GEOM_LABEL # Provides labelization
49 options COMPAT_43 # Compatible with BSD 4.3 [KEEP THIS!]
50 options SCSI_DELAY=5000 # Delay (in ms) before probing SCSI
51 options KTRACE # ktrace(1) support
52 options SYSVSHM # SYSV-style shared memory
53 options SYSVMSG # SYSV-style message queues
54 options SYSVSEM # SYSV-style semaphores
55 options _KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions
56 options KBD_INSTALL_CDEV # install a CDEV entry in /dev
57 options FREEBSD_BOOT_LOADER # Process metadata passed from loader(8)
58 options VFP # Enable floating point hardware support
59
60 # Debugging for use in -current
61 makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
62 options BREAK_TO_DEBUGGER
63 options ALT_BREAK_TO_DEBUGGER
64 #options VERBOSE_SYSINIT # Enable verbose sysinit messages
65 options KDB # Enable kernel debugger support
66 # For minimum debugger support (stable branch) use:
67 #options KDB_TRACE # Print a stack trace for a panic
68 # For full debugger support use this instead:
69 options DDB # Enable the kernel debugger
70 options INVARIANTS # Enable calls of extra sanity checking
71 options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
72 #options WITNESS # Enable checks to detect deadlocks and cycles
73 #options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
74 #options DIAGNOSTIC
75
76 # NFS root from boopt/dhcp
77 #options BOOTP
78 #options BOOTP_NFSROOT
79 #options BOOTP_COMPAT
80 #options BOOTP_NFSV3
81 #options BOOTP_WIRED_TO=ue0
82
83 #options ROOTDEVNAME=\"ufs:mmcsd0s2\"
84
85 device bpf
86 device loop
87 device ether
88 device uart
89 device pty
90 device snp
91 device pl011
92
93 # Comment following lines for boot console on serial port
94 device vt
95 device kbdmux
96 device ukbd
97
98 device sdhci
99 device mmc
100 device mmcsd
101
102 device gpio
103 device gpioled
104
105 # I2C
106 device iic
107 device iicbus
108 device bcm2835_bsc
109
110 options KDB
111 options DDB # Enable the kernel debugger
112 #options INVARIANTS # Enable calls of extra sanity checking
113 #options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
114
115 device md
116 device random # Entropy device
117
118 # USB support
119 device usb
120 options USB_DEBUG
121 device dwcotg # DWC OTG controller
122
123 # USB storage support
124 device scbus
125 device da
126 device umass
127
128 # USB ethernet support
129 device smcphy
130 device mii
131 device smsc
132
133 # SPI
134 device spibus
135 device bcm2835_spi
136
137 # Flattened Device Tree
138 options FDT # Configure using FDT/DTB data
139 # Note: DTB is normally loaded and modified by RPi boot loader, then
140 # handed to kernel via U-Boot and ubldr.
141 #options FDT_DTB_STATIC
142 #makeoptions FDT_DTS_FILE=rpi.dts
143 makeoptions MODULES_EXTRA=dtb/rpi
Cache object: 452e95c23f37f4ab15208b36bac80fcb
|