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/std.zynq7" 26 27makeoptions MODULES_EXTRA="dtb/zynq" 28 29options SCHED_ULE # ULE scheduler 30options PLATFORM # Platform based SoC 31options PLATFORM_SMP 32#options NFSSD # Network Filesystem Server 33options SMP # Enable multiple cores 34 35# NFS root from boopt/dhcp 36#options BOOTP 37#options BOOTP_NFSROOT 38#options BOOTP_COMPAT 39#options BOOTP_NFSV3 40 41options ROOTDEVNAME=\"ufs:mmcsd0s2a\" 42 43# Interrupt controller 44device gic 45options INTRNG 46 47# Cache controller 48device pl310 # PL310 L2 cache controller 49# ARM MPCore timer 50device mpcore_timer 51 52device loop 53device random 54device ether 55device cgem # Zynq-7000 gig ethernet device 56device mii 57device e1000phy 58device rgephy # Zybo uses Realtek RTL8211E 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 71device ehci 72device umass 73device scbus # SCSI bus (required for ATA/SCSI) 74device da # Direct Access (disks) 75device axe # USB-Ethernet 76 77 78# Flattened Device Tree 79options FDT # Configure using FDT/DTB data 80#options FDT_DTB_STATIC 81#makeoptions FDT_DTS_FILE=zedboard.dts 82 83