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# 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 22ident ZEDBOARD 23 24include "std.armv6" 25include "../xilinx/std.zynq7" 26 27options SCHED_ULE # ULE scheduler 28#options NFSSD # Network Filesystem Server 29options SMP # Enable multiple cores 30 31# Debugging for use in -current 32makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 33options ALT_BREAK_TO_DEBUGGER 34options 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: 38options 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 51options ROOTDEVNAME=\"ufs:mmcsd0s2a\" 52 53# Interrupt controller 54device gic 55options ARM_INTRNG 56 57# Cache controller 58device pl310 # PL310 L2 cache controller 59# ARM MPCore timer 60device mpcore_timer 61 62device loop 63device random 64device ether 65device cgem # Zynq-7000 gig ethernet device 66device mii 67device e1000phy 68device rgephy # Zybo uses Realtek RTL8211E 69device pty 70device uart 71device gpio 72 73device md 74device mmc # mmc/sd bus 75device mmcsd # mmc/sd flash cards 76device sdhci # generic sdhci 77device bpf # Berkeley packet filter 78 79# USB support 80device usb 81options USB_DEBUG 82#options USB_REQ_DEBUG 83#options USB_VERBOSE 84device ehci 85device umass 86device scbus # SCSI bus (required for ATA/SCSI) 87device da # Direct Access (disks) 88device axe # USB-Ethernet 89 90 91# Flattened Device Tree 92options FDT # Configure using FDT/DTB data 93#options FDT_DTB_STATIC 94#makeoptions FDT_DTS_FILE=zedboard.dts 95 96