ZEDBOARD revision 266086 
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: stable/10/sys/arm/conf/ZEDBOARD 266086 2014-05-14 20:17:31Z ian $
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 	MSDOSFS			#MSDOS Filesystem
45options 	CD9660			#ISO 9660 Filesystem
46options 	PROCFS			#Process filesystem (requires PSEUDOFS)
47options 	PSEUDOFS		#Pseudo-filesystem framework
48options 	SCSI_DELAY=5000		#Delay (in ms) before probing SCSI
49options 	KTRACE			#ktrace(1) support
50options 	SYSVSHM			#SYSV-style shared memory
51options 	SYSVMSG			#SYSV-style message queues
52options 	SYSVSEM			#SYSV-style semaphores
53options 	_KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
54options		FREEBSD_BOOT_LOADER
55options 	VFP		# vfp/neon
56
57# Debugging
58makeoptions	DEBUG=-g
59options 	DDB
60options 	KDB
61# options 	BREAK_TO_DEBUGGER
62
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
67
68device		loop
69device		random
70device		ether
71device		if_cgem			# Zynq-7000 gig ethernet device
72device		mii
73device		pty
74device		uart
75device		gpio
76
77device		md
78device		mmc			# mmc/sd bus
79device		mmcsd			# mmc/sd flash cards
80device		sdhci			# generic sdhci
81device		bpf			# Berkeley packet filter
82
83# USB support
84options 	USB_HOST_ALIGN=32	# Align usb buffers to cache line size.
85device		usb
86options 	USB_DEBUG
87#options 	USB_REQ_DEBUG
88#options 	USB_VERBOSE
89device		ehci
90device		umass
91device		scbus			# SCSI bus (required for SCSI)
92device		da			# Direct Access (disks)
93device		axe			# USB-Ethernet
94
95
96# Flattened Device Tree
97options         FDT
98# options         FDT_DTB_STATIC
99# makeoptions     FDT_DTS_FILE=zedboard.dts
100
101