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