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 GEOM_PART_BSD # BSD partition scheme 45options GEOM_PART_MBR # MBR partition scheme 46options TMPFS # Efficient memory filesystem 47options MSDOSFS # MSDOS Filesystem 48options CD9660 # ISO 9660 Filesystem 49options PROCFS # Process filesystem (requires PSEUDOFS) 50options PSEUDOFS # Pseudo-filesystem framework 51options SCSI_DELAY=5000 # Delay (in ms) before probing SCSI 52options KTRACE # ktrace(1) support 53options SYSVSHM # SYSV-style shared memory 54options SYSVMSG # SYSV-style message queues 55options SYSVSEM # SYSV-style semaphores 56options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions 57options FREEBSD_BOOT_LOADER 58options VFP # vfp/neon 59options SMP # Symmetric MultiProcessor Kernel 60 61# Debugging 62makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 63options DDB 64options KDB 65# options BREAK_TO_DEBUGGER 66 67# options INVARIANTS # Enable calls of extra sanity checking 68# options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 69# options WITNESS # Enable checks to detect deadlocks and cycles 70# options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 71 72device loop 73device random 74device ether 75device cgem # Zynq-7000 gig ethernet device 76device mii 77device e1000phy 78device pty 79device uart 80device gpio 81 82device md 83device mmc # mmc/sd bus 84device mmcsd # mmc/sd flash cards 85device sdhci # generic sdhci 86device bpf # Berkeley packet filter 87 88# USB support 89device usb 90options USB_DEBUG 91#options USB_REQ_DEBUG 92#options USB_VERBOSE 93device ehci 94device umass 95device scbus # SCSI bus (required for ATA/SCSI) 96device da # Direct Access (disks) 97device axe # USB-Ethernet 98 99 100# Flattened Device Tree 101options FDT 102# options FDT_DTB_STATIC 103# makeoptions FDT_DTS_FILE=zedboard.dts 104 105