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# https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config 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 (https://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 20ident RPI-B 21 22include "std.armv6" 23include "../broadcom/bcm2835/std.rpi" 24include "../broadcom/bcm2835/std.bcm2835" 25 26options SCHED_4BSD # 4BSD scheduler 27options PLATFORM 28 29# NFS root from boopt/dhcp 30#options BOOTP 31#options BOOTP_NFSROOT 32#options BOOTP_COMPAT 33#options BOOTP_NFSV3 34#options BOOTP_WIRED_TO=ue0 35 36#options ROOTDEVNAME=\"ufs:mmcsd0s2\" 37 38# pseudo devices 39device clk 40device phy 41device hwreset 42device nvmem 43device regulator 44device syscon 45 46device bpf 47device loop 48device ether 49device uart 50device pty 51device snp 52device pl011 53 54# Device mode support 55device usb_template # Control of the gadget 56 57# Comment following lines for boot console on serial port 58device vt 59device kbdmux 60device ukbd 61 62device sdhci 63device mmc 64device mmcsd 65 66device gpio 67device gpioled 68 69# I2C 70device iic 71device iicbus 72device bcm2835_bsc 73 74device md 75 76# USB support 77device usb 78device dwcotg # DWC OTG controller 79 80# USB storage support 81device scbus 82device da 83device umass 84 85# USB ethernet support 86device smscphy 87device mii 88device smsc 89 90# SPI 91device spibus 92device bcm2835_spi 93 94device vchiq 95device sound 96 97device fdt_pinctrl 98 99# HID support 100device hid # Generic HID support 101 102# Flattened Device Tree 103options FDT # Configure using FDT/DTB data 104# Note: DTB is normally loaded and modified by RPi boot loader, then 105# handed to kernel via U-Boot and ubldr. 106#options FDT_DTB_STATIC 107#makeoptions FDT_DTS_FILE=rpi.dts 108makeoptions MODULES_EXTRA="dtb/rpi rpi_ft5406" 109