sys/arm/conf/RPI2

   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
  23 ident           RPI2
  24
  25 include         "std.armv7"
  26 include         "../broadcom/bcm2835/std.rpi"
  27 include         "../broadcom/bcm2835/std.bcm2836"
  28
  29 options         SCHED_ULE               # ULE scheduler
  30 options         SMP                     # Enable multiple cores
  31 options         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
  40 options         ROOTDEVNAME=\"ufs:mmcsd0s2\"
  41
  42 # ARM Generic Timer
  43 device          generic_timer
  44
  45 device          bpf
  46 device          loop
  47 device          ether
  48 device          uart
  49 device          pty
  50 device          snp
  51 device          pl011
  52
  53 # Comment following lines for boot console on serial port
  54 device          vt
  55 device          kbdmux
  56 device          ukbd
  57
  58 device          sdhci
  59 device          mmc
  60 device          mmcsd
  61
  62 device          gpio
  63 device          gpioled
  64
  65 # I2C
  66 device          iic
  67 device          iicbus
  68 device          bcm2835_bsc
  69
  70 device          md
  71 device          random                  # Entropy device
  72
  73 # USB support
  74 device          usb
  75 device          dwcotg                  # DWC OTG controller
  76
  77 # USB storage support
  78 device          scbus
  79 device          da
  80 device          umass
  81
  82 # USB ethernet support
  83 device          smcphy
  84 device          mii
  85 device          smsc
  86
  87 # SPI
  88 device          spibus
  89 device          bcm2835_spi
  90
  91 device          vchiq
  92 device          sound
  93
  94 device          fdt_pinctrl
  95
  96 # Flattened Device Tree
  97 options         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
 102 makeoptions     MODULES_EXTRA="dtb/rpi rpi_ft5406"