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# https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config 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 (https://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.armv7" 25include "../xilinx/std.zynq7" 26 27makeoptions MODULES_EXTRA="dtb/zynq" 28 29options SCHED_ULE # ULE scheduler 30options PLATFORM # Platform based SoC 31#options NFSSD # Network Filesystem Server 32options SMP # Enable multiple cores 33 34# NFS root from boopt/dhcp 35#options BOOTP 36#options BOOTP_NFSROOT 37#options BOOTP_COMPAT 38#options BOOTP_NFSV3 39 40options ROOTDEVNAME=\"ufs:mmcsd0s2a\" 41 42# Interrupt controller 43device gic 44 45# pseudo devices 46device clk 47device phy 48device hwreset 49device nvmem 50device regulator 51device syscon 52 53# Cache controller 54device pl310 # PL310 L2 cache controller 55# ARM MPCore timer 56device mpcore_timer 57 58device loop 59device ether 60device cgem # Cadence GEM Gigabit Ethernet device 61device mii 62device e1000phy 63device rgephy # Zybo uses Realtek RTL8211E 64device pty 65device uart 66device gpio 67 68device spibus 69device spigen 70device mx25l 71device zy7_qspi # Xilinx Zynq QSPI controller 72device zy7_spi # Xilinx Zynq SPI controller 73 74device md 75device mmc # mmc/sd bus 76device mmcsd # mmc/sd flash cards 77device sdhci # generic sdhci 78device bpf # Berkeley packet filter 79 80# USB support 81device usb 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