1# 2# RPI2 -- Custom configuration for the Raspberry Pi 2 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# 21#NO_UNIVERSE 22 23ident RPI2 24 25include "std.armv7" 26include "../broadcom/bcm2835/std.rpi" 27include "../broadcom/bcm2835/std.bcm2836" 28 29options SCHED_ULE # ULE scheduler 30options SMP # Enable multiple cores 31options PLATFORM 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 40options ROOTDEVNAME=\"ufs:mmcsd0s2\" 41 42# ARM Generic Timer 43device generic_timer 44 45device bpf 46device loop 47device ether 48device uart 49device pty 50device snp 51device pl011 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 smcphy 84device mii 85device smsc 86 87# SPI 88device spibus 89device bcm2835_spi 90 91device vchiq 92device sound 93 94device fdt_pinctrl 95 96# Flattened Device Tree 97options FDT # Configure using FDT/DTB data 98# Note: DTB is normally loaded and modified by RPi boot loader, then 99# handed to kernel via U-Boot and ubldr. 100#options FDT_DTB_STATIC 101#makeoptions FDT_DTS_FILE=rpi2.dts 102makeoptions MODULES_EXTRA="dtb/rpi rpi_ft5406" 103