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 21ident ZEDBOARD 22 23include "std.armv7" 24include "../xilinx/std.zynq7" 25 26makeoptions MODULES_EXTRA="dtb/zynq" 27 28options SCHED_ULE # ULE scheduler 29options PLATFORM # Platform based SoC 30#options NFSSD # Network Filesystem Server 31options SMP # Enable multiple cores 32 33# NFS root from boopt/dhcp 34#options BOOTP 35#options BOOTP_NFSROOT 36#options BOOTP_COMPAT 37#options BOOTP_NFSV3 38 39options ROOTDEVNAME=\"ufs:mmcsd0s2a\" 40 41# Interrupt controller 42device gic 43 44# pseudo devices 45device clk 46device phy 47device hwreset 48device nvmem 49device regulator 50device syscon 51 52# Cache controller 53device pl310 # PL310 L2 cache controller 54# ARM MPCore timer 55device mpcore_timer 56 57device loop 58device ether 59device cgem # Cadence GEM Gigabit Ethernet device 60device mii 61device e1000phy 62device rgephy # Zybo uses Realtek RTL8211E 63device pty 64device uart 65device gpio 66 67device spibus 68device spigen 69device mx25l 70device zy7_qspi # Xilinx Zynq QSPI controller 71device zy7_spi # Xilinx Zynq SPI controller 72 73device md 74device mmc # mmc/sd bus 75device mmcsd # mmc/sd flash cards 76device sdhci # generic sdhci 77device bpf # Berkeley packet filter 78 79# USB support 80device usb 81device ehci 82device umass 83device scbus # SCSI bus (required for ATA/SCSI) 84device da # Direct Access (disks) 85device axe # USB-Ethernet 86 87 88# Flattened Device Tree 89options FDT # Configure using FDT/DTB data 90#options FDT_DTB_STATIC 91#makeoptions FDT_DTS_FILE=zedboard.dts 92 93