1 # ZEDBOARD -- Custom configuration for the Xilinx Zynq-7000 based
2 # ZedBoard (www.zedboard.org)
4 # For more information on this file, please read the handbook section on
5 # Kernel Configuration Files:
7 # http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
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
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
23 include "../xilinx/zedboard/std.zedboard"
25 makeoptions MODULES_OVERRIDE=""
26 makeoptions WITHOUT_MODULES="ahc"
28 options SCHED_4BSD #4BSD scheduler
29 options INET #InterNETworking
30 options INET6 #IPv6 communications protocols
31 options FFS #Berkeley Fast Filesystem
32 options SOFTUPDATES #Enable FFS soft updates support
33 options UFS_ACL #Support for access control lists
34 options UFS_DIRHASH #Improve performance on big directories
35 # options ROOTDEVNAME=\"ufs:mmcsd0s2a\"
37 options 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
44 options MSDOSFS #MSDOS Filesystem
45 options CD9660 #ISO 9660 Filesystem
46 options PROCFS #Process filesystem (requires PSEUDOFS)
47 options PSEUDOFS #Pseudo-filesystem framework
48 options SCSI_DELAY=5000 #Delay (in ms) before probing SCSI
49 options KTRACE #ktrace(1) support
50 options SYSVSHM #SYSV-style shared memory
51 options SYSVMSG #SYSV-style message queues
52 options SYSVSEM #SYSV-style semaphores
53 options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
54 options FREEBSD_BOOT_LOADER
55 options VFP # vfp/neon
61 # options BREAK_TO_DEBUGGER
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
71 device if_cgem # Zynq-7000 gig ethernet device
78 device mmc # mmc/sd bus
79 device mmcsd # mmc/sd flash cards
80 device sdhci # generic sdhci
81 device bpf # Berkeley packet filter
84 options USB_HOST_ALIGN=32 # Align usb buffers to cache line size.
87 #options USB_REQ_DEBUG
91 device scbus # SCSI bus (required for SCSI)
92 device da # Direct Access (disks)
93 device axe # USB-Ethernet
96 # Flattened Device Tree
98 # options FDT_DTB_STATIC
99 # makeoptions FDT_DTS_FILE=zedboard.dts