sys/arm/conf/ZEDBOARD

   1 # ZEDBOARD -- Custom configuration for the Xilinx Zynq-7000 based
   2 #             ZedBoard (www.zedboard.org)
   3 #
   4 # For more information on this file, please read the handbook section on
   5 # 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           ZEDBOARD
  22
  23 include "../xilinx/zedboard/std.zedboard"
  24
  25 makeoptions     MODULES_OVERRIDE=""
  26 makeoptions     WITHOUT_MODULES="ahc"
  27
  28 options         SCHED_4BSD              # 4BSD scheduler
  29 options         INET                    # InterNETworking
  30 options         INET6                   # IPv6 communications protocols
  31 options         FFS                     # Berkeley Fast Filesystem
  32 options         SOFTUPDATES             # Enable FFS soft updates support
  33 options         UFS_ACL                 # Support for access control lists
  34 options         UFS_DIRHASH             # Improve performance on big directories
  35 # options       ROOTDEVNAME=\"ufs:mmcsd0s2a\"
  36
  37 options         NFSCL                   # Network Filesystem Client
  38 # options       NFSSD                   # Network Filesystem Server
  39 # options       NFSLOCKD                # Network Lock Manager
  40 # options       NFS_ROOT                # NFS usable as /, requires NFSCL
  41 # options       BOOTP_NFSROOT
  42 # options       BOOTP
  43
  44 options         GEOM_PART_BSD           # BSD partition scheme
  45 options         GEOM_PART_MBR           # MBR partition scheme
  46 options         TMPFS                   # Efficient memory filesystem
  47 options         MSDOSFS                 # MSDOS Filesystem
  48 options         CD9660                  # ISO 9660 Filesystem
  49 options         PROCFS                  # Process filesystem (requires PSEUDOFS)
  50 options         PSEUDOFS                # Pseudo-filesystem framework
  51 options         SCSI_DELAY=5000         # Delay (in ms) before probing SCSI
  52 options         KTRACE                  # ktrace(1) support
  53 options         SYSVSHM                 # SYSV-style shared memory
  54 options         SYSVMSG                 # SYSV-style message queues
  55 options         SYSVSEM                 # SYSV-style semaphores
  56 options         _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions
  57 options         FREEBSD_BOOT_LOADER
  58 options         VFP                     # vfp/neon
  59 options         SMP                     # Symmetric MultiProcessor Kernel
  60
  61 # Debugging
  62 makeoptions     DEBUG=-g
  63 options         DDB
  64 options         KDB
  65 # options       BREAK_TO_DEBUGGER
  66
  67 # options       INVARIANTS              # Enable calls of extra sanity checking
  68 # options       INVARIANT_SUPPORT       # Extra sanity checks of internal structures, required by INVARIANTS
  69 # options       WITNESS                 # Enable checks to detect deadlocks and cycles
  70 # options       WITNESS_SKIPSPIN        # Don't run witness on spinlocks for speed
  71
  72 device          loop
  73 device          random
  74 device          ether
  75 device          if_cgem                 # Zynq-7000 gig ethernet device
  76 device          mii
  77 device          pty
  78 device          uart
  79 device          gpio
  80
  81 device          md
  82 device          mmc                     # mmc/sd bus
  83 device          mmcsd                   # mmc/sd flash cards
  84 device          sdhci                   # generic sdhci
  85 device          bpf                     # Berkeley packet filter
  86
  87 # USB support
  88 device          usb
  89 options         USB_DEBUG
  90 #options        USB_REQ_DEBUG
  91 #options        USB_VERBOSE
  92 device          ehci
  93 device          umass
  94 device          scbus                   # SCSI bus (required for SCSI)
  95 device          da                      # Direct Access (disks)
  96 device          axe                     # USB-Ethernet
  97
  98
  99 # Flattened Device Tree
 100 options         FDT
 101 # options         FDT_DTB_STATIC
 102 # makeoptions     FDT_DTS_FILE=zedboard.dts
 103