sys/arm/conf/ZEDBOARD

   1 #
   2 # ZEDBOARD -- Custom configuration for the Xilinx Zynq-7000 based
   3 #             ZedBoard (www.zedboard.org) and similar Zynq boards.
   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 #    https://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 (https://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.armv7"
  25 include         "../xilinx/std.zynq7"
  26
  27 makeoptions     MODULES_EXTRA="dtb/zynq"
  28
  29 options         SCHED_ULE               # ULE scheduler
  30 options         PLATFORM                # Platform based SoC
  31 #options        NFSSD                   # Network Filesystem Server
  32 options         SMP                     # Enable multiple cores
  33
  34 # NFS root from boopt/dhcp
  35 #options        BOOTP
  36 #options        BOOTP_NFSROOT
  37 #options        BOOTP_COMPAT
  38 #options        BOOTP_NFSV3
  39
  40 options         ROOTDEVNAME=\"ufs:mmcsd0s2a\"
  41
  42 # Interrupt controller
  43 device          gic
  44 options         INTRNG
  45
  46 # Cache controller
  47 device          pl310                   # PL310 L2 cache controller
  48 # ARM MPCore timer
  49 device          mpcore_timer
  50
  51 device          loop
  52 device          random
  53 device          ether
  54 device          cgem                    # Zynq-7000 gig ethernet device
  55 device          mii
  56 device          e1000phy
  57 device          rgephy                  # Zybo uses Realtek RTL8211E
  58 device          pty
  59 device          uart
  60 device          gpio
  61
  62 device          md
  63 device          mmc                     # mmc/sd bus
  64 device          mmcsd                   # mmc/sd flash cards
  65 device          sdhci                   # generic sdhci
  66 device          bpf                     # Berkeley packet filter
  67
  68 # USB support
  69 device          usb
  70 device          ehci
  71 device          umass
  72 device          scbus                   # SCSI bus (required for ATA/SCSI)
  73 device          da                      # Direct Access (disks)
  74 device          axe                     # USB-Ethernet
  75
  76
  77 # Flattened Device Tree
  78 options         FDT                     # Configure using FDT/DTB data
  79 #options        FDT_DTB_STATIC
  80 #makeoptions    FDT_DTS_FILE=zedboard.dts
  81