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         SCHED_4BSD              # 4BSD scheduler
  28 options         PLATFORM
  29
  30 # NFS root from boopt/dhcp
  31 #options        BOOTP
  32 #options        BOOTP_NFSROOT
  33 #options        BOOTP_COMPAT
  34 #options        BOOTP_NFSV3
  35 #options        BOOTP_WIRED_TO=ue0
  36
  37 #options        ROOTDEVNAME=\"ufs:mmcsd0s2\"
  38
  39 device          bpf
  40 device          loop
  41 device          ether
  42 device          uart
  43 device          pty
  44 device          snp
  45 device          pl011
  46
  47 # Device mode support
  48 device          usb_template            # Control of the gadget
  49
  50 # Comment following lines for boot console on serial port
  51 device          vt
  52 device          kbdmux
  53 device          ukbd
  54
  55 device          sdhci
  56 device          mmc
  57 device          mmcsd
  58
  59 device          gpio
  60 device          gpioled
  61
  62 # I2C
  63 device          iic
  64 device          iicbus
  65 device          bcm2835_bsc
  66
  67 device          md
  68 device          random                  # Entropy device
  69
  70 # USB support
  71 device          usb
  72 device          dwcotg                  # DWC OTG controller
  73
  74 # USB storage support
  75 device          scbus
  76 device          da
  77 device          umass
  78
  79 # USB ethernet support
  80 device          smcphy
  81 device          mii
  82 device          smsc
  83
  84 # SPI
  85 device          spibus
  86 device          bcm2835_spi
  87
  88 device          vchiq
  89 device          sound
  90
  91 device          fdt_pinctrl
  92
  93 # Flattened Device Tree
  94 options         FDT                     # Configure using FDT/DTB data
  95 # Note:  DTB is normally loaded and modified by RPi boot loader, then
  96 # handed to kernel via U-Boot and ubldr.
  97 #options        FDT_DTB_STATIC
  98 #makeoptions    FDT_DTS_FILE=rpi.dts
  99 makeoptions     MODULES_EXTRA="dtb/rpi rpi_ft5406"