sys/arm/conf/RPI-B

   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 #    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 ident           RPI-B
  22
  23 include         "std.armv6"
  24 include         "../broadcom/bcm2835/std.rpi"
  25 include         "../broadcom/bcm2835/std.bcm2835"
  26
  27 options         INTRNG
  28
  29 options         SCHED_4BSD              # 4BSD scheduler
  30 options         PLATFORM
  31
  32 # NFS root from boopt/dhcp
  33 #options        BOOTP
  34 #options        BOOTP_NFSROOT
  35 #options        BOOTP_COMPAT
  36 #options        BOOTP_NFSV3
  37 #options        BOOTP_WIRED_TO=ue0
  38
  39 #options        ROOTDEVNAME=\"ufs:mmcsd0s2\"
  40
  41 device          bpf
  42 device          loop
  43 device          ether
  44 device          uart
  45 device          pty
  46 device          snp
  47 device          pl011
  48
  49 # Device mode support
  50 device          usb_template            # Control of the gadget
  51
  52 # Comment following lines for boot console on serial port
  53 device          vt
  54 device          kbdmux
  55 device          ukbd
  56
  57 device          sdhci
  58 device          mmc
  59 device          mmcsd
  60
  61 device          gpio
  62 device          gpioled
  63
  64 # I2C
  65 device          iic
  66 device          iicbus
  67 device          bcm2835_bsc
  68
  69 device          md
  70 device          random                  # Entropy device
  71
  72 # USB support
  73 device          usb
  74 device          dwcotg                  # DWC OTG controller
  75
  76 # USB storage support
  77 device          scbus
  78 device          da
  79 device          umass
  80
  81 # USB ethernet support
  82 device          smcphy
  83 device          mii
  84 device          smsc
  85
  86 # SPI
  87 device          spibus
  88 device          bcm2835_spi
  89
  90 device          vchiq
  91 device          sound
  92
  93 device          fdt_pinctrl
  94
  95 # Flattened Device Tree
  96 options         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=rpi.dts
 101 makeoptions     MODULES_EXTRA="dtb/rpi rpi_ft5406"