RPI-B revision 302408 
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: stable/11/sys/arm/conf/RPI-B 298068 2016-04-15 16:05:41Z andrew $
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# Debugging for use in -current
34makeoptions	DEBUG=-g		# Build kernel with gdb(1) debug symbols
35options 	ALT_BREAK_TO_DEBUGGER
36#options 	VERBOSE_SYSINIT		# Enable verbose sysinit messages
37options 	KDB			# Enable kernel debugger support
38# For minimum debugger support (stable branch) use:
39#options 	KDB_TRACE		# Print a stack trace for a panic
40# For full debugger support use this instead:
41options 	DDB			# Enable the kernel debugger
42options 	INVARIANTS		# Enable calls of extra sanity checking
43options 	INVARIANT_SUPPORT	# Extra sanity checks of internal structures, required by INVARIANTS
44#options 	WITNESS			# Enable checks to detect deadlocks and cycles
45#options 	WITNESS_SKIPSPIN	# Don't run witness on spinlocks for speed
46#options 	DIAGNOSTIC
47
48# NFS root from boopt/dhcp
49#options 	BOOTP
50#options 	BOOTP_NFSROOT
51#options 	BOOTP_COMPAT
52#options 	BOOTP_NFSV3
53#options 	BOOTP_WIRED_TO=ue0
54
55#options 	ROOTDEVNAME=\"ufs:mmcsd0s2\"
56
57device		bpf
58device		loop
59device		ether
60device		uart
61device		pty
62device		snp
63device		pl011
64
65# Comment following lines for boot console on serial port
66device		vt
67device		kbdmux
68device		ukbd
69
70device		sdhci
71device		mmc
72device		mmcsd
73
74device		gpio
75device		gpioled
76
77# I2C
78device		iic
79device		iicbus
80device		bcm2835_bsc
81
82device		md
83device		random			# Entropy device
84
85# USB support
86device		usb
87options 	USB_DEBUG
88device		dwcotg			# DWC OTG controller
89
90# USB storage support
91device		scbus
92device		da
93device		umass
94
95# USB ethernet support
96device		smcphy
97device		mii
98device		smsc
99
100# SPI
101device		spibus
102device		bcm2835_spi
103
104device		vchiq
105device		sound
106
107# Flattened Device Tree
108options 	FDT			# Configure using FDT/DTB data
109# Note:  DTB is normally loaded and modified by RPi boot loader, then
110# handed to kernel via U-Boot and ubldr.
111#options 	FDT_DTB_STATIC
112#makeoptions	FDT_DTS_FILE=rpi.dts
113makeoptions	MODULES_EXTRA=dtb/rpi
114