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