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