1*22ce4affSfengbojiang# 2*22ce4affSfengbojiang# Kernel configuration for Altera Arria10 SOC Development Kit. 3*22ce4affSfengbojiang# 4*22ce4affSfengbojiang# For more information on this file, please read the config(5) manual page, 5*22ce4affSfengbojiang# and/or the handbook section on Kernel Configuration Files: 6*22ce4affSfengbojiang# 7*22ce4affSfengbojiang# https://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 8*22ce4affSfengbojiang# 9*22ce4affSfengbojiang# The handbook is also available locally in /usr/share/doc/handbook 10*22ce4affSfengbojiang# if you've installed the doc distribution, otherwise always see the 11*22ce4affSfengbojiang# FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the 12*22ce4affSfengbojiang# latest information. 13*22ce4affSfengbojiang# 14*22ce4affSfengbojiang# An exhaustive list of options and more detailed explanations of the 15*22ce4affSfengbojiang# device lines is also present in the ../../conf/NOTES and NOTES files. 16*22ce4affSfengbojiang# If you are in doubt as to the purpose or necessity of a line, check first 17*22ce4affSfengbojiang# in NOTES. 18*22ce4affSfengbojiang# 19*22ce4affSfengbojiang# $FreeBSD$ 20*22ce4affSfengbojiang 21*22ce4affSfengbojiang#NO_UNIVERSE 22*22ce4affSfengbojiang 23*22ce4affSfengbojianginclude "SOCFPGA" 24*22ce4affSfengbojiangident SOCDK 25*22ce4affSfengbojiang 26*22ce4affSfengbojiangoptions ROOTDEVNAME=\"ufs:/dev/mmcsd0s4\" 27*22ce4affSfengbojiang 28*22ce4affSfengbojiang# Flattened Device Tree 29*22ce4affSfengbojiangoptions FDT_DTB_STATIC 30*22ce4affSfengbojiangmakeoptions FDT_DTS_FILE=socfpga_arria10_socdk_sdmmc.dts 31