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 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 39device bpf 40device loop 41device ether 42device uart 43device pty 44device snp 45device pl011 46 47# Device mode support 48device usb_template # Control of the gadget 49 50# Comment following lines for boot console on serial port 51device vt 52device kbdmux 53device ukbd 54 55device sdhci 56device mmc 57device mmcsd 58 59device gpio 60device gpioled 61 62# I2C 63device iic 64device iicbus 65device bcm2835_bsc 66 67device md 68device random # Entropy device 69 70# USB support 71device usb 72device dwcotg # DWC OTG controller 73 74# USB storage support 75device scbus 76device da 77device umass 78 79# USB ethernet support 80device smscphy 81device mii 82device smsc 83 84# SPI 85device spibus 86device bcm2835_spi 87 88device vchiq 89device sound 90 91device fdt_pinctrl 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