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 27makeoptions MODULES_EXTRA="dtb/zynq" 28 29options SCHED_ULE # ULE scheduler 30#options NFSSD # Network Filesystem Server 31options SMP # Enable multiple cores 32 33# Debugging for use in -current 34makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 35options ALT_BREAK_TO_DEBUGGER 36options KDB # Enable kernel debugger support 37# For minimum debugger support (stable branch) use: 38#options KDB_TRACE # Print a stack trace for a panic 39# For full debugger support use this instead: 40options DDB # Enable the kernel debugger 41#options INVARIANTS # Enable calls of extra sanity checking 42#options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 43#options WITNESS # Enable checks to detect deadlocks and cycles 44#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 45#options DIAGNOSTIC 46 47# NFS root from boopt/dhcp 48#options BOOTP 49#options BOOTP_NFSROOT 50#options BOOTP_COMPAT 51#options BOOTP_NFSV3 52 53options ROOTDEVNAME=\"ufs:mmcsd0s2a\" 54 55# Interrupt controller 56device gic 57options INTRNG 58 59# Cache controller 60device pl310 # PL310 L2 cache controller 61# ARM MPCore timer 62device mpcore_timer 63 64device loop 65device random 66device ether 67device cgem # Zynq-7000 gig ethernet device 68device mii 69device e1000phy 70device rgephy # Zybo uses Realtek RTL8211E 71device pty 72device uart 73device gpio 74 75device md 76device mmc # mmc/sd bus 77device mmcsd # mmc/sd flash cards 78device sdhci # generic sdhci 79device bpf # Berkeley packet filter 80 81# USB support 82device usb 83options USB_DEBUG 84#options USB_REQ_DEBUG 85#options USB_VERBOSE 86device ehci 87device umass 88device scbus # SCSI bus (required for ATA/SCSI) 89device da # Direct Access (disks) 90device axe # USB-Ethernet 91 92 93# Flattened Device Tree 94options FDT # Configure using FDT/DTB data 95#options FDT_DTB_STATIC 96#makeoptions FDT_DTS_FILE=zedboard.dts 97 98