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 hkbd 61device ukbd 62 63device sdhci 64device mmc 65device mmcsd 66 67device gpio 68device gpioled 69 70# I2C 71device iic 72device iicbus 73device bcm2835_bsc 74 75device md 76 77# USB support 78device usb 79device dwcotg # DWC OTG controller 80 81# USB storage support 82device scbus 83device da 84device umass 85 86# USB ethernet support 87device smscphy 88device mii 89device smsc 90 91# SPI 92device spibus 93device bcm2835_spi 94 95device vchiq 96device sound 97 98device fdt_pinctrl 99 100# HID support 101device hid # Generic HID support 102 103# Flattened Device Tree 104options FDT # Configure using FDT/DTB data 105# Note: DTB is normally loaded and modified by RPi boot loader, then 106# handed to kernel via U-Boot and ubldr. 107#options FDT_DTB_STATIC 108#makeoptions FDT_DTS_FILE=rpi.dts 109makeoptions MODULES_EXTRA="dtb/rpi rpi_ft5406" 110