1#
2# RPI2 -- Custom configuration for the Raspberry Pi 2
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/11.0/sys/arm/conf/RPI2 302915 2016-07-15 21:30:19Z ian $
20
21ident		RPI2
22
23include 	"std.armv6"
24include 	"../broadcom/bcm2835/std.rpi"
25include 	"../broadcom/bcm2835/std.bcm2836"
26
27options 	INTRNG
28
29options 	HZ=100
30options 	SCHED_ULE		# ULE scheduler
31options 	SMP			# Enable multiple cores
32options 	PLATFORM
33
34# NFS root from boopt/dhcp
35#options 	BOOTP
36#options 	BOOTP_NFSROOT
37#options 	BOOTP_COMPAT
38#options 	BOOTP_NFSV3
39#options 	BOOTP_WIRED_TO=ue0
40
41options 	ROOTDEVNAME=\"ufs:mmcsd0s2\"
42
43# ARM Generic Timer
44device		generic_timer
45
46device		bpf
47device		loop
48device		ether
49device		uart
50device		pty
51device		snp
52device		pl011
53
54# Comment following lines for boot console on serial port
55device		vt
56device		kbdmux
57device		ukbd
58
59device		sdhci
60device		mmc
61device		mmcsd
62
63device		gpio
64device		gpioled
65
66# I2C
67device		iic
68device		iicbus
69device		bcm2835_bsc
70
71device		md
72device		random			# Entropy device
73
74# USB support
75device		usb
76device		dwcotg			# DWC OTG controller
77
78# USB storage support
79device		scbus
80device		da
81device		umass
82
83# USB ethernet support
84device		smcphy
85device		mii
86device		smsc
87
88# SPI
89device		spibus
90device		bcm2835_spi
91
92device		vchiq
93device		sound
94
95# Flattened Device Tree
96options 	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=rpi2.dts
101makeoptions	MODULES_EXTRA=dtb/rpi
102