ZEDBOARD revision 273645
1193326Sed# ZEDBOARD -- Custom configuration for the Xilinx Zynq-7000 based 2193326Sed# ZedBoard (www.zedboard.org) 3193326Sed# 4193326Sed# For more information on this file, please read the handbook section on 5193326Sed# Kernel Configuration Files: 6193326Sed# 7193326Sed# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 8193326Sed# 9193326Sed# The handbook is also available locally in /usr/share/doc/handbook 10199512Srdivacky# if you've installed the doc distribution, otherwise always see the 11199512Srdivacky# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the 12193326Sed# latest information. 13193326Sed# 14193326Sed# An exhaustive list of options and more detailed explanations of the 15199512Srdivacky# device lines is also present in the ../../conf/NOTES and NOTES files. 16199512Srdivacky# If you are in doubt as to the purpose or necessity of a line, check first 17193326Sed# in NOTES. 18193326Sed# 19193326Sed# $FreeBSD: stable/10/sys/arm/conf/ZEDBOARD 273645 2014-10-25 20:34:10Z ian $ 20243830Sdim 21243830Sdimident ZEDBOARD 22193326Sed 23199512Srdivackyinclude "../xilinx/zedboard/std.zedboard" 24193326Sed 25193326Sedmakeoptions MODULES_OVERRIDE="" 26243830Sdimmakeoptions WITHOUT_MODULES="ahc" 27193326Sed 28193326Sedoptions SCHED_4BSD # 4BSD scheduler 29198092Srdivackyoptions INET # InterNETworking 30199512Srdivackyoptions INET6 # IPv6 communications protocols 31193326Sedoptions FFS # Berkeley Fast Filesystem 32193326Sedoptions SOFTUPDATES # Enable FFS soft updates support 33193326Sedoptions UFS_ACL # Support for access control lists 34193326Sedoptions 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 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