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://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config
   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 # EXT_RESOURCES pseudo devices
  40 options         EXT_RESOURCES
  41 device          clk
  42 device          phy
  43 device          hwreset
  44 device          nvmem
  45 device          regulator
  46 device          syscon
  47
  48 device          bpf
  49 device          loop
  50 device          ether
  51 device          uart
  52 device          pty
  53 device          snp
  54 device          pl011
  55
  56 # Device mode support
  57 device          usb_template            # Control of the gadget
  58
  59 # Comment following lines for boot console on serial port
  60 device          vt
  61 device          kbdmux
  62 device          ukbd
  63
  64 device          sdhci
  65 device          mmc
  66 device          mmcsd
  67
  68 device          gpio
  69 device          gpioled
  70
  71 # I2C
  72 device          iic
  73 device          iicbus
  74 device          bcm2835_bsc
  75
  76 device          md
  77
  78 # USB support
  79 device          usb
  80 device          dwcotg                  # DWC OTG controller
  81
  82 # USB storage support
  83 device          scbus
  84 device          da
  85 device          umass
  86
  87 # USB ethernet support
  88 device          smscphy
  89 device          mii
  90 device          smsc
  91
  92 # SPI
  93 device          spibus
  94 device          bcm2835_spi
  95
  96 device          vchiq
  97 device          sound
  98
  99 device          fdt_pinctrl
 100
 101 # HID support
 102 device          hid                     # Generic HID support
 103
 104 # Flattened Device Tree
 105 options         FDT                     # Configure using FDT/DTB data
 106 # Note:  DTB is normally loaded and modified by RPi boot loader, then
 107 # handed to kernel via U-Boot and ubldr.
 108 #options        FDT_DTB_STATIC
 109 #makeoptions    FDT_DTS_FILE=rpi.dts
 110 makeoptions     MODULES_EXTRA="dtb/rpi rpi_ft5406"