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 #    http://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 (http://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         HZ=100
  28 options         SCHED_4BSD              # 4BSD scheduler
  29 options         PLATFORM
  30
  31 # Debugging for use in -current
  32 makeoptions     DEBUG=-g                # Build kernel with gdb(1) debug symbols
  33 options         ALT_BREAK_TO_DEBUGGER
  34 #options        VERBOSE_SYSINIT         # Enable verbose sysinit messages
  35 options         KDB                     # Enable kernel debugger support
  36 # For minimum debugger support (stable branch) use:
  37 #options        KDB_TRACE               # Print a stack trace for a panic
  38 # For full debugger support use this instead:
  39 options         DDB                     # Enable the kernel debugger
  40 options         INVARIANTS              # Enable calls of extra sanity checking
  41 options         INVARIANT_SUPPORT       # Extra sanity checks of internal structures, required by INVARIANTS
  42 #options        WITNESS                 # Enable checks to detect deadlocks and cycles
  43 #options        WITNESS_SKIPSPIN        # Don't run witness on spinlocks for speed
  44 #options        DIAGNOSTIC
  45
  46 # NFS root from boopt/dhcp
  47 #options        BOOTP
  48 #options        BOOTP_NFSROOT
  49 #options        BOOTP_COMPAT
  50 #options        BOOTP_NFSV3
  51 #options        BOOTP_WIRED_TO=ue0
  52
  53 #options        ROOTDEVNAME=\"ufs:mmcsd0s2\"
  54
  55 device          bpf
  56 device          loop
  57 device          ether
  58 device          uart
  59 device          pty
  60 device          snp
  61 device          pl011
  62
  63 # Comment following lines for boot console on serial port
  64 device          vt
  65 device          kbdmux
  66 device          ukbd
  67
  68 device          sdhci
  69 device          mmc
  70 device          mmcsd
  71
  72 device          gpio
  73 device          gpioled
  74
  75 # I2C
  76 device          iic
  77 device          iicbus
  78 device          bcm2835_bsc
  79
  80 device          md
  81 device          random                  # Entropy device
  82
  83 # USB support
  84 device          usb
  85 options         USB_DEBUG
  86 device          dwcotg                  # DWC OTG controller
  87
  88 # USB storage support
  89 device          scbus
  90 device          da
  91 device          umass
  92
  93 # USB ethernet support
  94 device          smcphy
  95 device          mii
  96 device          smsc
  97
  98 # SPI
  99 device          spibus
 100 device          bcm2835_spi
 101
 102 device          vchiq
 103 device          sound
 104
 105 # Flattened Device Tree
 106 options         FDT                     # Configure using FDT/DTB data
 107 # Note:  DTB is normally loaded and modified by RPi boot loader, then
 108 # handed to kernel via U-Boot and ubldr.
 109 #options        FDT_DTB_STATIC
 110 #makeoptions    FDT_DTS_FILE=rpi.dts
 111 makeoptions     MODULES_EXTRA=dtb/rpi