freebsd-skq/sys/arm/conf/RPI-B

#
# RPI-B -- Custom configuration for the Raspberry Pi
#
# For more information on this file, please read the config(5) manual page,
# and/or the handbook section on Kernel Configuration Files:
#
#    http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
#
# The handbook is also available locally in /usr/share/doc/handbook
# if you've installed the doc distribution, otherwise always see the
# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
# latest information.
#
# An exhaustive list of options and more detailed explanations of the
# device lines is also present in the ../../conf/NOTES and NOTES files.
# If you are in doubt as to the purpose or necessity of a line, check first
# in NOTES.
#
# $FreeBSD$

ident		RPI-B

include 	"std.armv6"
include 	"../broadcom/bcm2835/std.rpi"
include 	"../broadcom/bcm2835/std.bcm2835"

options 	INTRNG

options 	SCHED_4BSD		# 4BSD scheduler
options 	PLATFORM
options 	MULTIDELAY

# NFS root from boopt/dhcp
#options 	BOOTP
#options 	BOOTP_NFSROOT
#options 	BOOTP_COMPAT
#options 	BOOTP_NFSV3
#options 	BOOTP_WIRED_TO=ue0

#options 	ROOTDEVNAME=\"ufs:mmcsd0s2\"

device		bpf
device		loop
device		ether
device		uart
device		pty
device		snp
device		pl011

# Comment following lines for boot console on serial port
device		vt
device		kbdmux
device		ukbd

device		sdhci
device		mmc
device		mmcsd

device		gpio
device		gpioled

# I2C
device		iic
device		iicbus
device		bcm2835_bsc

device		md
device		random			# Entropy device

# USB support
device		usb
device		dwcotg			# DWC OTG controller

# USB storage support
device		scbus
device		da
device		umass

# USB ethernet support
device		smcphy
device		mii
device		smsc

# SPI
device		spibus
device		bcm2835_spi

device		vchiq
device		sound

# Flattened Device Tree
options 	FDT			# Configure using FDT/DTB data
# Note:  DTB is normally loaded and modified by RPi boot loader, then
# handed to kernel via U-Boot and ubldr.
#options 	FDT_DTB_STATIC
#makeoptions	FDT_DTS_FILE=rpi.dts
makeoptions	MODULES_EXTRA="dtb/rpi rpi_ft5406"
tart to clean up the armv6 kernel configs by reducing the diff between them in the first sections and the later FDT support. Differential Revision: https://reviews.freebsd.org/D1346 Reviewed by: rpaulo (earlier version) 2014-12-21 11:37:00 +00:00			`#`
Add barebone Raspberry Pi port. Supported parts: - Interrupts controller - Watchdog - System timer - Framebuffer (hardcoded resolution/bpp) 2012-08-30 20:59:37 +00:00			`# RPI-B -- Custom configuration for the Raspberry Pi`
			`#`
tart to clean up the armv6 kernel configs by reducing the diff between them in the first sections and the later FDT support. Differential Revision: https://reviews.freebsd.org/D1346 Reviewed by: rpaulo (earlier version) 2014-12-21 11:37:00 +00:00			`# For more information on this file, please read the config(5) manual page,`
			`# and/or the handbook section on Kernel Configuration Files:`
Add barebone Raspberry Pi port. Supported parts: - Interrupts controller - Watchdog - System timer - Framebuffer (hardcoded resolution/bpp) 2012-08-30 20:59:37 +00:00			`#`
			`# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html`
			`#`
			`# The handbook is also available locally in /usr/share/doc/handbook`
			`# if you've installed the doc distribution, otherwise always see the`
			`# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the`
			`# latest information.`
			`#`
			`# An exhaustive list of options and more detailed explanations of the`
tart to clean up the armv6 kernel configs by reducing the diff between them in the first sections and the later FDT support. Differential Revision: https://reviews.freebsd.org/D1346 Reviewed by: rpaulo (earlier version) 2014-12-21 11:37:00 +00:00			`# device lines is also present in the ../../conf/NOTES and NOTES files.`
			`# If you are in doubt as to the purpose or necessity of a line, check first`
Add barebone Raspberry Pi port. Supported parts: - Interrupts controller - Watchdog - System timer - Framebuffer (hardcoded resolution/bpp) 2012-08-30 20:59:37 +00:00			`# in NOTES.`
			`#`
			`# $FreeBSD$`

			`ident RPI-B`

Clean up the ARM kernel configs to use 'include<space><tab>"file"'. 2015-05-07 12:38:23 +00:00			`include "std.armv6"`
			`include "../broadcom/bcm2835/std.rpi"`
			`include "../broadcom/bcm2835/std.bcm2835"`
Add barebone Raspberry Pi port. Supported parts: - Interrupts controller - Watchdog - System timer - Framebuffer (hardcoded resolution/bpp) 2012-08-30 20:59:37 +00:00
Rename ARM_INTRNG and MIPS_INTRNG to INTRNG. This will help with machine independent code that needs to know about INTRNG such as PCI drivers. Obtained from: ABT Systems Ltd Sponsored by: The FreeBSD Foundation 2016-04-15 16:05:41 +00:00			`options INTRNG`
Rework bcm283x interrupt controller for INTRNG and enable it on RPI-B by default. Reviewed by: gonzo Differential Revision: https://reviews.freebsd.org/D5809 2016-04-05 13:37:03 +00:00
Make all the comments '# ' and align to same column. This fixes the rampently incosnsitent usage which made cut and paste from one file to another look ugly. 2014-03-16 15:22:46 +00:00			`options SCHED_4BSD # 4BSD scheduler`
Add the start of the ARM platform code. This is based on the PowerPC platform code, it is expected these will be merged in the future when the ARM code is more complete. Until more boards can be tested only use this with the Raspberry Pi and rrename the functions on the other SoCs. Reviewed by: ian@ 2014-05-17 11:27:36 +00:00			`options PLATFORM`
RPI-B: Add support for MULTIDELAY 100 cycles per us seems accurate enough, at least it's better than the 200 value that was used before. Reviewed by: andrew, imp Differential Revision: https://reviews.freebsd.org/D8062 2016-09-29 06:49:59 +00:00			`options MULTIDELAY`
tart to clean up the armv6 kernel configs by reducing the diff between them in the first sections and the later FDT support. Differential Revision: https://reviews.freebsd.org/D1346 Reviewed by: rpaulo (earlier version) 2014-12-21 11:37:00 +00:00
			`# NFS root from boopt/dhcp`
			`#options BOOTP`
			`#options BOOTP_NFSROOT`
			`#options BOOTP_COMPAT`
			`#options BOOTP_NFSV3`
			`#options BOOTP_WIRED_TO=ue0`

			`#options ROOTDEVNAME=\"ufs:mmcsd0s2\"`
Add barebone Raspberry Pi port. Supported parts: - Interrupts controller - Watchdog - System timer - Framebuffer (hardcoded resolution/bpp) 2012-08-30 20:59:37 +00:00
			`device bpf`
			`device loop`
			`device ether`
			`device uart`
			`device pty`
tart to clean up the armv6 kernel configs by reducing the diff between them in the first sections and the later FDT support. Differential Revision: https://reviews.freebsd.org/D1346 Reviewed by: rpaulo (earlier version) 2014-12-21 11:37:00 +00:00			`device snp`
			`device pl011`
Add barebone Raspberry Pi port. Supported parts: - Interrupts controller - Watchdog - System timer - Framebuffer (hardcoded resolution/bpp) 2012-08-30 20:59:37 +00:00
- Enable syscons/framebuffer by default - Enable NFS client by default. Might be useful for building ports 2012-11-30 04:56:39 +00:00			`# Comment following lines for boot console on serial port`
Add vt support for RPi. (No early stage yet.) Sponsored by: The FreeBSD Foundation 2013-12-17 15:23:47 +00:00			`device vt`
- Enable syscons/framebuffer by default - Enable NFS client by default. Might be useful for building ports 2012-11-30 04:56:39 +00:00			`device kbdmux`
			`device ukbd`
Add barebone Raspberry Pi port. Supported parts: - Interrupts controller - Watchdog - System timer - Framebuffer (hardcoded resolution/bpp) 2012-08-30 20:59:37 +00:00
Add BCM2835 SDHCI driver and enable it in Raspberry Pi config 2012-10-29 17:23:45 +00:00			`device sdhci`
			`device mmc`
			`device mmcsd`

Add Raspberry Pi GPIO driver Submitted by: Luiz Otavio O Souza 2012-11-23 20:04:39 +00:00			`device gpio`
			`device gpioled`

Add the Raspberry Pi BSC (I2C compliant) controller driver. Reviewed by: rpaulo Approved by: adrian (mentor) 2013-10-23 12:29:39 +00:00			`# I2C`
			`device iic`
			`device iicbus`
			`device bcm2835_bsc`

Add barebone Raspberry Pi port. Supported parts: - Interrupts controller - Watchdog - System timer - Framebuffer (hardcoded resolution/bpp) 2012-08-30 20:59:37 +00:00			`device md`
Make all the comments '# ' and align to same column. This fixes the rampently incosnsitent usage which made cut and paste from one file to another look ugly. 2014-03-16 15:22:46 +00:00			`device random # Entropy device`
Add barebone Raspberry Pi port. Supported parts: - Interrupts controller - Watchdog - System timer - Framebuffer (hardcoded resolution/bpp) 2012-08-30 20:59:37 +00:00
Add basic USB support to Raspberry PI target. 2012-09-14 08:11:59 +00:00			`# USB support`
			`device usb`
Make all the comments '# ' and align to same column. This fixes the rampently incosnsitent usage which made cut and paste from one file to another look ugly. 2014-03-16 15:22:46 +00:00			`device dwcotg # DWC OTG controller`
Add barebone Raspberry Pi port. Supported parts: - Interrupts controller - Watchdog - System timer - Framebuffer (hardcoded resolution/bpp) 2012-08-30 20:59:37 +00:00
Add basic USB support to Raspberry PI target. 2012-09-14 08:11:59 +00:00			`# USB storage support`
			`device scbus`
			`device da`
			`device umass`
Add barebone Raspberry Pi port. Supported parts: - Interrupts controller - Watchdog - System timer - Framebuffer (hardcoded resolution/bpp) 2012-08-30 20:59:37 +00:00
Add basic USB support to Raspberry PI target. 2012-09-14 08:11:59 +00:00			`# USB ethernet support`
			`device smcphy`
			`device mii`
			`device smsc`
Add barebone Raspberry Pi port. Supported parts: - Interrupts controller - Watchdog - System timer - Framebuffer (hardcoded resolution/bpp) 2012-08-30 20:59:37 +00:00
Add the Raspberry Pi SPI controller driver. Reviewed by: rpaulo Approved by: adrian (mentor) 2013-10-24 16:27:33 +00:00			`# SPI`
			`device spibus`
			`device bcm2835_spi`

Make VCHI driver optional and add "device vchiq" to default RPI-B config 2015-02-07 01:03:45 +00:00			`device vchiq`
Add VideoCore audio driver for Rasperry Pi (BCM2835) 2015-02-08 01:12:40 +00:00			`device sound`
Make VCHI driver optional and add "device vchiq" to default RPI-B config 2015-02-07 01:03:45 +00:00
Add barebone Raspberry Pi port. Supported parts: - Interrupts controller - Watchdog - System timer - Framebuffer (hardcoded resolution/bpp) 2012-08-30 20:59:37 +00:00			`# Flattened Device Tree`
tart to clean up the armv6 kernel configs by reducing the diff between them in the first sections and the later FDT support. Differential Revision: https://reviews.freebsd.org/D1346 Reviewed by: rpaulo (earlier version) 2014-12-21 11:37:00 +00:00			`options FDT # Configure using FDT/DTB data`
RPi users might want to touch the boot partition, which is always FAT formatted on this board, so compile-in MSDOSFS. Comment out the compiled-in FDT and explain why. 2013-02-26 04:59:02 +00:00			`# Note: DTB is normally loaded and modified by RPi boot loader, then`
			`# handed to kernel via U-Boot and ubldr.`
tart to clean up the armv6 kernel configs by reducing the diff between them in the first sections and the later FDT support. Differential Revision: https://reviews.freebsd.org/D1346 Reviewed by: rpaulo (earlier version) 2014-12-21 11:37:00 +00:00			`#options FDT_DTB_STATIC`
Pull in the rpi.dts -> rpi.dtb module (dtb/rpi) and have it install rpi.dtb in /boot/dtb by default. 2015-02-07 00:41:08 +00:00			`#makeoptions FDT_DTS_FILE=rpi.dts`
Add rpi_ft5406 module and add it to extra modules in Raspberry Pi configs 2016-10-03 01:08:34 +00:00			`makeoptions MODULES_EXTRA="dtb/rpi rpi_ft5406"`