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://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 (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 device bpf
40 device loop
41 device ether
42 device uart
43 device pty
44 device snp
45 device pl011
46
47 # Device mode support
48 device usb_template # Control of the gadget
49
50 # Comment following lines for boot console on serial port
51 device vt
52 device kbdmux
53 device ukbd
54
55 device sdhci
56 device mmc
57 device mmcsd
58
59 device gpio
60 device gpioled
61
62 # I2C
63 device iic
64 device iicbus
65 device bcm2835_bsc
66
67 device md
68
69 # USB support
70 device usb
71 device dwcotg # DWC OTG controller
72
73 # USB storage support
74 device scbus
75 device da
76 device umass
77
78 # USB ethernet support
79 device smscphy
80 device mii
81 device smsc
82
83 # SPI
84 device spibus
85 device bcm2835_spi
86
87 device vchiq
88 device sound
89
90 device fdt_pinctrl
91
92 # HID support
93 device hid # Generic HID support
94
95 # Flattened Device Tree
96 options FDT # Configure using FDT/DTB data
97 # Note: DTB is normally loaded and modified by RPi boot loader, then
98 # handed to kernel via U-Boot and ubldr.
99 #options FDT_DTB_STATIC
100 #makeoptions FDT_DTS_FILE=rpi.dts
101 makeoptions MODULES_EXTRA="dtb/rpi rpi_ft5406"
Cache object: 44b2ca62b300029ab96eca5d2330d653
|