sys/arm/conf/ZEDBOARD

   1 #
   2 # ZEDBOARD -- Custom configuration for the Xilinx Zynq-7000 based
   3 #             ZedBoard (www.zedboard.org)
   4 #
   5 # For more information on this file, please read the config(5) manual page,
   6 # and/or the handbook section on Kernel Configuration Files:
   7 #
   8 #    http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
   9 #
  10 # The handbook is also available locally in /usr/share/doc/handbook
  11 # if you've installed the doc distribution, otherwise always see the
  12 # FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
  13 # latest information.
  14 #
  15 # An exhaustive list of options and more detailed explanations of the
  16 # device lines is also present in the ../../conf/NOTES and NOTES files.
  17 # If you are in doubt as to the purpose or necessity of a line, check first
  18 # in NOTES.
  19 #
  20 # $FreeBSD$
  21
  22 ident           ZEDBOARD
  23
  24 include         "std.armv6"
  25 include         "../xilinx/zedboard/std.zedboard"
  26
  27 options         SCHED_ULE               # ULE scheduler
  28 #options        NFSSD                   # Network Filesystem Server
  29 options         SMP                     # Enable multiple cores
  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         KDB                     # Enable kernel debugger support
  35 # For minimum debugger support (stable branch) use:
  36 #options        KDB_TRACE               # Print a stack trace for a panic
  37 # For full debugger support use this instead:
  38 options         DDB                     # Enable the kernel debugger
  39 #options        INVARIANTS              # Enable calls of extra sanity checking
  40 #options        INVARIANT_SUPPORT       # Extra sanity checks of internal structures, required by INVARIANTS
  41 #options        WITNESS                 # Enable checks to detect deadlocks and cycles
  42 #options        WITNESS_SKIPSPIN        # Don't run witness on spinlocks for speed
  43 #options        DIAGNOSTIC
  44
  45 # NFS root from boopt/dhcp
  46 #options        BOOTP
  47 #options        BOOTP_NFSROOT
  48 #options        BOOTP_COMPAT
  49 #options        BOOTP_NFSV3
  50
  51 options         ROOTDEVNAME=\"ufs:mmcsd0s2a\"
  52
  53 # Interrupt controller
  54 device          gic
  55
  56 device          loop
  57 device          random
  58 device          ether
  59 device          cgem                    # Zynq-7000 gig ethernet device
  60 device          mii
  61 device          e1000phy
  62 device          pty
  63 device          uart
  64 device          gpio
  65
  66 device          md
  67 device          mmc                     # mmc/sd bus
  68 device          mmcsd                   # mmc/sd flash cards
  69 device          sdhci                   # generic sdhci
  70 device          bpf                     # Berkeley packet filter
  71
  72 # USB support
  73 device          usb
  74 options         USB_DEBUG
  75 #options        USB_REQ_DEBUG
  76 #options        USB_VERBOSE
  77 device          ehci
  78 device          umass
  79 device          scbus                   # SCSI bus (required for ATA/SCSI)
  80 device          da                      # Direct Access (disks)
  81 device          axe                     # USB-Ethernet
  82
  83
  84 # Flattened Device Tree
  85 options         FDT                     # Configure using FDT/DTB data
  86 #options        FDT_DTB_STATIC
  87 #makeoptions    FDT_DTS_FILE=zedboard.dts
  88