ZEDBOARD revision 282502
1# 2# ZEDBOARD -- Custom configuration for the Xilinx Zynq-7000 based 3# ZedBoard (www.zedboard.org) 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: head/sys/arm/conf/ZEDBOARD 282502 2015-05-05 17:59:02Z andrew $ 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 33#options 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 53device loop 54device random 55device ether 56device cgem # Zynq-7000 gig ethernet device 57device mii 58device e1000phy 59device pty 60device uart 61device gpio 62 63device md 64device mmc # mmc/sd bus 65device mmcsd # mmc/sd flash cards 66device sdhci # generic sdhci 67device bpf # Berkeley packet filter 68 69# USB support 70device usb 71options USB_DEBUG 72#options USB_REQ_DEBUG 73#options USB_VERBOSE 74device ehci 75device umass 76device scbus # SCSI bus (required for ATA/SCSI) 77device da # Direct Access (disks) 78device axe # USB-Ethernet 79 80 81# Flattened Device Tree 82options FDT # Configure using FDT/DTB data 83#options FDT_DTB_STATIC 84#makeoptions FDT_DTS_FILE=zedboard.dts 85 86