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# 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: releng/11.0/sys/arm/conf/RPI2 302915 2016-07-15 21:30:19Z ian $ 20 21ident RPI2 22 23include "std.armv6" 24include "../broadcom/bcm2835/std.rpi" 25include "../broadcom/bcm2835/std.bcm2836" 26 27options INTRNG 28 29options HZ=100 30options SCHED_ULE # ULE scheduler 31options SMP # Enable multiple cores 32options PLATFORM 33 34# NFS root from boopt/dhcp 35#options BOOTP 36#options BOOTP_NFSROOT 37#options BOOTP_COMPAT 38#options BOOTP_NFSV3 39#options BOOTP_WIRED_TO=ue0 40 41options ROOTDEVNAME=\"ufs:mmcsd0s2\" 42 43# ARM Generic Timer 44device generic_timer 45 46device bpf 47device loop 48device ether 49device uart 50device pty 51device snp 52device pl011 53 54# Comment following lines for boot console on serial port 55device vt 56device kbdmux 57device ukbd 58 59device sdhci 60device mmc 61device mmcsd 62 63device gpio 64device gpioled 65 66# I2C 67device iic 68device iicbus 69device bcm2835_bsc 70 71device md 72device random # Entropy device 73 74# USB support 75device usb 76device dwcotg # DWC OTG controller 77 78# USB storage support 79device scbus 80device da 81device umass 82 83# USB ethernet support 84device smcphy 85device mii 86device smsc 87 88# SPI 89device spibus 90device bcm2835_spi 91 92device vchiq 93device sound 94 95# Flattened Device Tree 96options FDT # Configure using FDT/DTB data 97# Note: DTB is normally loaded and modified by RPi boot loader, then 98# handed to kernel via U-Boot and ubldr. 99#options FDT_DTB_STATIC 100#makeoptions FDT_DTS_FILE=rpi2.dts 101makeoptions MODULES_EXTRA=dtb/rpi 102