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