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://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 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 INTRNG 28 29options SCHED_4BSD # 4BSD scheduler 30options PLATFORM 31 32# NFS root from boopt/dhcp 33#options BOOTP 34#options BOOTP_NFSROOT 35#options BOOTP_COMPAT 36#options BOOTP_NFSV3 37#options BOOTP_WIRED_TO=ue0 38 39#options ROOTDEVNAME=\"ufs:mmcsd0s2\" 40 41device bpf 42device loop 43device ether 44device uart 45device pty 46device snp 47device pl011 48 49# Device mode support 50device usb_template # Control of the gadget 51 52# Comment following lines for boot console on serial port 53device vt 54device kbdmux 55device ukbd 56 57device sdhci 58device mmc 59device mmcsd 60 61device gpio 62device gpioled 63 64# I2C 65device iic 66device iicbus 67device bcm2835_bsc 68 69device md 70device random # Entropy device 71 72# USB support 73device usb 74device dwcotg # DWC OTG controller 75 76# USB storage support 77device scbus 78device da 79device umass 80 81# USB ethernet support 82device smcphy 83device mii 84device smsc 85 86# SPI 87device spibus 88device bcm2835_spi 89 90device vchiq 91device sound 92 93# Flattened Device Tree 94options FDT # Configure using FDT/DTB data 95# Note: DTB is normally loaded and modified by RPi boot loader, then 96# handed to kernel via U-Boot and ubldr. 97#options FDT_DTB_STATIC 98#makeoptions FDT_DTS_FILE=rpi.dts 99makeoptions MODULES_EXTRA="dtb/rpi rpi_ft5406" 100