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 55options VFP # vfp/neon 56 57# Debugging 58makeoptions DEBUG=-g 59options DDB 60options KDB 61# options BREAK_TO_DEBUGGER 62 63# options INVARIANTS #Enable calls of extra sanity checking 64# options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS 65# options WITNESS #Enable checks to detect deadlocks and cycles 66# options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed 67 68device loop 69device random 70device ether 71device if_cgem # Zynq-7000 gig ethernet device 72device mii 73device pty 74device uart 75device gpio 76 77device md 78device mmc # mmc/sd bus 79device mmcsd # mmc/sd flash cards 80device sdhci # generic sdhci 81device bpf # Berkeley packet filter 82 83# USB support 84device usb 85options USB_DEBUG 86#options USB_REQ_DEBUG 87#options USB_VERBOSE 88device ehci 89device umass 90device scbus # SCSI bus (required for SCSI) 91device da # Direct Access (disks) 92device axe # USB-Ethernet 93 94 95# Flattened Device Tree 96options FDT 97# options FDT_DTB_STATIC 98# makeoptions FDT_DTS_FILE=zedboard.dts 99 100