ZEDBOARD revision 268813
1295367Sdes# ZEDBOARD -- Custom configuration for the Xilinx Zynq-7000 based
2124208Sdes#             ZedBoard (www.zedboard.org)
3124208Sdes# 
4124208Sdes# For more information on this file, please read the handbook section on
5124208Sdes# Kernel Configuration Files:
6124208Sdes# 
7124208Sdes#    http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
8124208Sdes# 
9124208Sdes# The handbook is also available locally in /usr/share/doc/handbook
10124208Sdes# if you've installed the doc distribution, otherwise always see the
11124208Sdes# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
12124208Sdes# latest information.
13124208Sdes# 
14124208Sdes# An exhaustive list of options and more detailed explanations of the
15124208Sdes# device lines is also present in the ../../conf/NOTES and NOTES files. 
16124208Sdes# If you are in doubt as to the purpose or necessity of a line, check first 
17124208Sdes# in NOTES.
18124208Sdes# 
19124208Sdes# $FreeBSD: stable/10/sys/arm/conf/ZEDBOARD 268813 2014-07-17 22:31:46Z imp $
20124208Sdes
21124208Sdesident		ZEDBOARD
22124208Sdes
23124208Sdesinclude "../xilinx/zedboard/std.zedboard"
24124208Sdes
25124208Sdesmakeoptions	MODULES_OVERRIDE=""
26124208Sdesmakeoptions	WITHOUT_MODULES="ahc"
27124208Sdes
28124208Sdesoptions 	SCHED_4BSD		# 4BSD scheduler
29124208Sdesoptions 	INET			# InterNETworking
30124208Sdesoptions 	INET6			# IPv6 communications protocols
31124208Sdesoptions 	FFS			# Berkeley Fast Filesystem
32240075Sdesoptions 	SOFTUPDATES		# Enable FFS soft updates support
33240075Sdesoptions 	UFS_ACL			# Support for access control lists
34240075Sdesoptions 	UFS_DIRHASH		# Improve performance on big directories
35295367Sdes# options 	ROOTDEVNAME=\"ufs:mmcsd0s2a\"
36295367Sdes
37124208Sdesoptions 	NFSCL			# Network Filesystem Client
38124208Sdes# options 	NFSSD			# Network Filesystem Server
39124208Sdes# options 	NFSLOCKD		# Network Lock Manager
40240075Sdes# options 	NFS_ROOT		# NFS usable as /, requires NFSCL
41240075Sdes# options 	BOOTP_NFSROOT
42240075Sdes# options 	BOOTP
43240075Sdes
44124208Sdesoptions 	GEOM_PART_BSD		# BSD partition scheme
45124208Sdesoptions 	GEOM_PART_MBR		# MBR partition scheme
46124208Sdesoptions 	TMPFS			# Efficient memory filesystem
47124208Sdesoptions 	MSDOSFS			# MSDOS Filesystem
48124208Sdesoptions 	CD9660			# ISO 9660 Filesystem
49126274Sdesoptions 	PROCFS			# Process filesystem (requires PSEUDOFS)
50126274Sdesoptions 	PSEUDOFS		# Pseudo-filesystem framework
51126274Sdesoptions 	SCSI_DELAY=5000		# Delay (in ms) before probing SCSI
52124208Sdesoptions 	KTRACE			# ktrace(1) support
53295367Sdesoptions 	SYSVSHM			# SYSV-style shared memory
54295367Sdesoptions 	SYSVMSG			# SYSV-style message queues
55295367Sdesoptions 	SYSVSEM			# SYSV-style semaphores
56126274Sdesoptions 	_KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions
57124208Sdesoptions 	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		if_cgem			# Zynq-7000 gig ethernet device
76device		mii
77device		pty
78device		uart
79device		gpio
80
81device		md
82device		mmc			# mmc/sd bus
83device		mmcsd			# mmc/sd flash cards
84device		sdhci			# generic sdhci
85device		bpf			# Berkeley packet filter
86
87# USB support
88device		usb
89options 	USB_DEBUG
90#options 	USB_REQ_DEBUG
91#options 	USB_VERBOSE
92device		ehci
93device		umass
94device		scbus			# SCSI bus (required for SCSI)
95device		da			# Direct Access (disks)
96device		axe			# USB-Ethernet
97
98
99# Flattened Device Tree
100options         FDT
101# options         FDT_DTB_STATIC
102# makeoptions     FDT_DTS_FILE=zedboard.dts
103
104