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