RPI2 revision 314521
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: stable/11/sys/arm/conf/RPI2 314521 2017-03-01 21:45:03Z ian $ 20 21ident RPI2 22 23include "std.armv6" 24include "../broadcom/bcm2835/std.rpi" 25include "../broadcom/bcm2835/std.bcm2836" 26 27options INTRNG 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 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=rpi2.dts 100makeoptions MODULES_EXTRA="dtb/rpi rpi_ft5406" 101