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 # https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config
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 (https://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$
20
21 ident RPI-B
22
23 include "std.armv6"
24 include "../broadcom/bcm2835/std.rpi"
25 include "../broadcom/bcm2835/std.bcm2835"
26
27 options SCHED_4BSD # 4BSD scheduler
28 options PLATFORM
29
30 # NFS root from boopt/dhcp
31 #options BOOTP
32 #options BOOTP_NFSROOT
33 #options BOOTP_COMPAT
34 #options BOOTP_NFSV3
35 #options BOOTP_WIRED_TO=ue0
36
37 #options ROOTDEVNAME=\"ufs:mmcsd0s2\"
38
39 # pseudo devices
40 device clk
41 device phy
42 device hwreset
43 device nvmem
44 device regulator
45 device syscon
46
47 device bpf
48 device loop
49 device ether
50 device uart
51 device pty
52 device snp
53 device pl011
54
55 # Device mode support
56 device usb_template # Control of the gadget
57
58 # Comment following lines for boot console on serial port
59 device vt
60 device kbdmux
61 device ukbd
62
63 device sdhci
64 device mmc
65 device mmcsd
66
67 device gpio
68 device gpioled
69
70 # I2C
71 device iic
72 device iicbus
73 device bcm2835_bsc
74
75 device md
76
77 # USB support
78 device usb
79 device dwcotg # DWC OTG controller
80
81 # USB storage support
82 device scbus
83 device da
84 device umass
85
86 # USB ethernet support
87 device smscphy
88 device mii
89 device smsc
90
91 # SPI
92 device spibus
93 device bcm2835_spi
94
95 device vchiq
96 device sound
97
98 device fdt_pinctrl
99
100 # HID support
101 device hid # Generic HID support
102
103 # Flattened Device Tree
104 options FDT # Configure using FDT/DTB data
105 # Note: DTB is normally loaded and modified by RPi boot loader, then
106 # handed to kernel via U-Boot and ubldr.
107 #options FDT_DTB_STATIC
108 #makeoptions FDT_DTS_FILE=rpi.dts
109 makeoptions MODULES_EXTRA="dtb/rpi rpi_ft5406"
Cache object: 380382cb04d7307e98e8e7bf1c1d975b
|