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# pseudo devices 40device clk 41device phy 42device hwreset 43device nvmem 44device regulator 45device syscon 46 47device bpf 48device loop 49device ether 50device uart 51device pty 52device snp 53device pl011 54 55# Device mode support 56device usb_template # Control of the gadget 57 58# Comment following lines for boot console on serial port 59device vt 60device kbdmux 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