1# 2# ZEDBOARD -- Custom configuration for the Xilinx Zynq-7000 based 3# ZedBoard (www.zedboard.org) 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 "../xilinx/zedboard/std.zedboard" 25 26makeoptions MODULES_OVERRIDE="" 27makeoptions WITHOUT_MODULES="ahc" 28 29options SCHED_ULE # ULE scheduler 30options PREEMPTION # Enable kernel thread preemption 31options INET # InterNETworking 32options INET6 # IPv6 communications protocols 33options SCTP # Stream Control Transmission Protocol 34options FFS # Berkeley Fast Filesystem 35options SOFTUPDATES # Enable FFS soft updates support 36options UFS_ACL # Support for access control lists 37options UFS_DIRHASH # Improve performance on big directories 38options UFS_GJOURNAL # Enable gjournal-based UFS journaling 39options QUOTA # Enable disk quotas for UFS 40options NFSCL # New Network Filesystem Client 41#options NFSSD # Network Filesystem Server 42options NFSLOCKD # Network Lock Manager 43options NFS_ROOT # NFS usable as /, requires NFSCL 44options MSDOSFS # MSDOS Filesystem 45options CD9660 # ISO 9660 Filesystem 46options PROCFS # Process filesystem (requires PSEUDOFS) 47options PSEUDOFS # Pseudo-filesystem framework 48options TMPFS # Efficient memory filesystem 49options GEOM_PART_GPT # GUID Partition Tables 50options GEOM_PART_BSD # BSD partition scheme 51options GEOM_PART_MBR # MBR partition scheme 52options SCSI_DELAY=5000 # Delay (in ms) before probing SCSI 53options KTRACE # ktrace(1) support 54options SYSVSHM # SYSV-style shared memory 55options SYSVMSG # SYSV-style message queues 56options SYSVSEM # SYSV-style semaphores 57options _KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions 58options KBD_INSTALL_CDEV # install a CDEV entry in /dev 59options FREEBSD_BOOT_LOADER # Process metadata passed from loader(8) 60options VFP # Enable floating point hardware support 61options SMP # Enable multiple cores 62 63# Debugging for use in -current 64makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 65#options BREAK_TO_DEBUGGER 66options KDB # Enable kernel debugger support 67# For minimum debugger support (stable branch) use: 68#options KDB_TRACE # Print a stack trace for a panic 69# For full debugger support use this instead: 70options DDB # Enable the kernel debugger 71#options INVARIANTS # Enable calls of extra sanity checking 72#options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 73#options WITNESS # Enable checks to detect deadlocks and cycles 74#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 75#options DIAGNOSTIC 76 77# NFS root from boopt/dhcp 78#options BOOTP 79#options BOOTP_NFSROOT 80#options BOOTP_COMPAT 81#options BOOTP_NFSV3 82 83options ROOTDEVNAME=\"ufs:mmcsd0s2a\" 84 85device loop 86device random 87device ether 88device cgem # Zynq-7000 gig ethernet device 89device mii 90device e1000phy 91device pty 92device uart 93device gpio 94 95device md 96device mmc # mmc/sd bus 97device mmcsd # mmc/sd flash cards 98device sdhci # generic sdhci 99device bpf # Berkeley packet filter 100 101# USB support 102device usb 103options USB_DEBUG 104#options USB_REQ_DEBUG 105#options USB_VERBOSE 106device ehci 107device umass 108device scbus # SCSI bus (required for ATA/SCSI) 109device da # Direct Access (disks) 110device axe # USB-Ethernet 111 112 113# Flattened Device Tree 114options FDT # Configure using FDT/DTB data 115#options FDT_DTB_STATIC 116#makeoptions FDT_DTS_FILE=zedboard.dts 117 118