ZEDBOARD revision 268813 
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 268813 2014-07-17 22:31:46Z imp $
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		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