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/zedboard/std.zedboard" 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 55# Cache controller 56device pl310 # PL310 L2 cache controller 57# ARM MPCore timer 58device mpcore_timer 59 60device loop 61device random 62device ether 63device cgem # Zynq-7000 gig ethernet device 64device mii 65device e1000phy 66device rgephy # Zybo uses Realtek RTL8211E 67device pty 68device uart 69device gpio 70 71device md 72device mmc # mmc/sd bus 73device mmcsd # mmc/sd flash cards 74device sdhci # generic sdhci 75device bpf # Berkeley packet filter 76 77# USB support 78device usb 79options USB_DEBUG 80#options USB_REQ_DEBUG 81#options USB_VERBOSE 82device ehci 83device umass 84device scbus # SCSI bus (required for ATA/SCSI) 85device da # Direct Access (disks) 86device axe # USB-Ethernet 87 88 89# Flattened Device Tree 90options FDT # Configure using FDT/DTB data 91#options FDT_DTB_STATIC 92#makeoptions FDT_DTS_FILE=zedboard.dts 93 94