sys/arm/conf/RPI2

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