RPI-B revision 302915 
1120924Sdeischen#
2120924Sdeischen# RPI-B -- Custom configuration for the Raspberry Pi
3120924Sdeischen#
4120924Sdeischen# For more information on this file, please read the config(5) manual page,
5120924Sdeischen# and/or the handbook section on Kernel Configuration Files:
6120924Sdeischen#
7120924Sdeischen#    http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
8120924Sdeischen#
9120924Sdeischen# The handbook is also available locally in /usr/share/doc/handbook
10120939Sdeischen# if you've installed the doc distribution, otherwise always see the
11120939Sdeischen# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
12120924Sdeischen# latest information.
13120924Sdeischen#
14120924Sdeischen# An exhaustive list of options and more detailed explanations of the
15120924Sdeischen# 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: stable/11/sys/arm/conf/RPI-B 302915 2016-07-15 21:30:19Z ian $
20
21ident		RPI-B
22
23include 	"std.armv6"
24include 	"../broadcom/bcm2835/std.rpi"
25include 	"../broadcom/bcm2835/std.bcm2835"
26
27options 	INTRNG
28
29options 	HZ=100
30options 	SCHED_4BSD		# 4BSD scheduler
31options 	PLATFORM
32
33# NFS root from boopt/dhcp
34#options 	BOOTP
35#options 	BOOTP_NFSROOT
36#options 	BOOTP_COMPAT
37#options 	BOOTP_NFSV3
38#options 	BOOTP_WIRED_TO=ue0
39
40#options 	ROOTDEVNAME=\"ufs:mmcsd0s2\"
41
42device		bpf
43device		loop
44device		ether
45device		uart
46device		pty
47device		snp
48device		pl011
49
50# Comment following lines for boot console on serial port
51device		vt
52device		kbdmux
53device		ukbd
54
55device		sdhci
56device		mmc
57device		mmcsd
58
59device		gpio
60device		gpioled
61
62# I2C
63device		iic
64device		iicbus
65device		bcm2835_bsc
66
67device		md
68device		random			# Entropy device
69
70# USB support
71device		usb
72device		dwcotg			# DWC OTG controller
73
74# USB storage support
75device		scbus
76device		da
77device		umass
78
79# USB ethernet support
80device		smcphy
81device		mii
82device		smsc
83
84# SPI
85device		spibus
86device		bcm2835_spi
87
88device		vchiq
89device		sound
90
91# Flattened Device Tree
92options 	FDT			# Configure using FDT/DTB data
93# Note:  DTB is normally loaded and modified by RPi boot loader, then
94# handed to kernel via U-Boot and ubldr.
95#options 	FDT_DTB_STATIC
96#makeoptions	FDT_DTS_FILE=rpi.dts
97makeoptions	MODULES_EXTRA=dtb/rpi
98