1# ZEDBOARD -- Custom configuration for the Xilinx Zynq-7000 based 2# ZedBoard (www.zedboard.org) 3# 4# For more information on this file, please read the handbook section on 5# Kernel Configuration Files: 6# 7# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 8# 9# The handbook is also available locally in /usr/share/doc/handbook 10# if you've installed the doc distribution, otherwise always see the 11# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the 12# latest information. 13# 14# An exhaustive list of options and more detailed explanations of the 15# device lines is also present in the ../../conf/NOTES and NOTES files. 16# If you are in doubt as to the purpose or necessity of a line, check first 17# in NOTES. 18# 19# $FreeBSD$ 20 21ident ZEDBOARD 22 23include "../xilinx/zedboard/std.zedboard" 24 25makeoptions MODULES_OVERRIDE="" 26makeoptions WITHOUT_MODULES="ahc" 27 28options SCHED_4BSD #4BSD scheduler 29options INET #InterNETworking 30options INET6 #IPv6 communications protocols 31options FFS #Berkeley Fast Filesystem 32options SOFTUPDATES #Enable FFS soft updates support 33options UFS_ACL #Support for access control lists 34options UFS_DIRHASH #Improve performance on big directories 35# options ROOTDEVNAME=\"ufs:mmcsd0s2a\" 36 37options NFSCL #Network Filesystem Client 38# options NFSSD #Network Filesystem Server 39# options NFSLOCKD #Network Lock Manager 40# options NFS_ROOT #NFS usable as /, requires NFSCL 41# options BOOTP_NFSROOT 42# options BOOTP 43 44options MSDOSFS #MSDOS Filesystem 45options CD9660 #ISO 9660 Filesystem 46options PROCFS #Process filesystem (requires PSEUDOFS) 47options PSEUDOFS #Pseudo-filesystem framework 48options SCSI_DELAY=5000 #Delay (in ms) before probing SCSI 49options KTRACE #ktrace(1) support 50options SYSVSHM #SYSV-style shared memory 51options SYSVMSG #SYSV-style message queues 52options SYSVSEM #SYSV-style semaphores 53options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions 54options FREEBSD_BOOT_LOADER 55 56# Debugging 57makeoptions DEBUG=-g 58options DDB 59options KDB 60# options BREAK_TO_DEBUGGER 61 62# options INVARIANTS #Enable calls of extra sanity checking 63# options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS 64# options WITNESS #Enable checks to detect deadlocks and cycles 65# options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed 66 67device loop 68device random 69device ether 70device if_cgem # Zynq-7000 gig ethernet device 71device mii 72device pty 73device uart 74device gpio 75 76device md 77device mmc # mmc/sd bus 78device mmcsd # mmc/sd flash cards 79device sdhci # generic sdhci 80device bpf # Berkeley packet filter 81 82# USB support 83device usb 84options USB_DEBUG 85#options USB_REQ_DEBUG 86#options USB_VERBOSE 87device ehci 88device umass 89device scbus # SCSI bus (required for SCSI) 90device da # Direct Access (disks) 91device axe # USB-Ethernet 92 93 94# Flattened Device Tree 95options FDT 96# options FDT_DTB_STATIC 97# makeoptions FDT_DTS_FILE=zedboard.dts 98 99