1276003Sandrew#
2271093Sbr# Kernel configuration for Terasic SoCKit (Altera Cyclone V SoC).
3271093Sbr#
4271093Sbr# For more information on this file, please read the config(5) manual page,
5271093Sbr# and/or the handbook section on Kernel Configuration Files:
6271093Sbr#
7271093Sbr#    http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
8271093Sbr#
9271093Sbr# The handbook is also available locally in /usr/share/doc/handbook
10271093Sbr# if you've installed the doc distribution, otherwise always see the
11271093Sbr# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
12271093Sbr# latest information.
13271093Sbr#
14271093Sbr# An exhaustive list of options and more detailed explanations of the
15271093Sbr# device lines is also present in the ../../conf/NOTES and NOTES files.
16271093Sbr# If you are in doubt as to the purpose or necessity of a line, check first
17271093Sbr# in NOTES.
18271093Sbr#
19271093Sbr# $FreeBSD: releng/11.0/sys/arm/conf/SOCKIT 281018 2015-04-03 11:12:59Z andrew $
20271093Sbr
21281018Sandrew#NO_UNIVERSE
22281018Sandrew
23271093Sbrident		SOCKIT
24281018Sandrewinclude 	"SOCKIT.common"
25271093Sbr
26276003Sandrewoptions 	ROOTDEVNAME=\"ufs:/dev/da0\"
27276003Sandrew
28276003Sandrew# Flattened Device Tree
29271093Sbroptions 	FDT_DTB_STATIC
30271093Sbrmakeoptions	FDT_DTS_FILE=socfpga-sockit.dts
31