diff options
author | Ruslan Bukin <br@FreeBSD.org> | 2017-02-28 14:02:16 +0000 |
---|---|---|
committer | Ruslan Bukin <br@FreeBSD.org> | 2017-02-28 14:02:16 +0000 |
commit | 428157830bd09ce422932d0c830cf43e00e074eb (patch) | |
tree | 6437dc75ccda5ddc299f51b6a6e56726f83004a0 /sys/arm/conf/SOCDK | |
parent | 3a13860a1b87b7d27110826f86c4264e0e7b4d43 (diff) | |
download | src-428157830bd09ce422932d0c830cf43e00e074eb.tar.gz src-428157830bd09ce422932d0c830cf43e00e074eb.zip |
Add support for Intel Arria 10 SoC Development Kit.
Use standard DTS files for SOCKIT and SOCDK.
Sponsored by: DARPA, AFRL
Notes
Notes:
svn path=/head/; revision=314389
Diffstat (limited to 'sys/arm/conf/SOCDK')
-rw-r--r-- | sys/arm/conf/SOCDK | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/sys/arm/conf/SOCDK b/sys/arm/conf/SOCDK new file mode 100644 index 000000000000..acdf4f341412 --- /dev/null +++ b/sys/arm/conf/SOCDK @@ -0,0 +1,30 @@ +# +# Kernel configuration for Altera Arria10 SOC Development Kit. +# +# For more information on this file, please read the config(5) manual page, +# and/or the handbook section on Kernel Configuration Files: +# +# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html +# +# The handbook is also available locally in /usr/share/doc/handbook +# if you've installed the doc distribution, otherwise always see the +# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the +# latest information. +# +# An exhaustive list of options and more detailed explanations of the +# device lines is also present in the ../../conf/NOTES and NOTES files. +# If you are in doubt as to the purpose or necessity of a line, check first +# in NOTES. +# +# $FreeBSD$ + +#NO_UNIVERSE + +include "SOCFPGA" +ident SOCDK + +options ROOTDEVNAME=\"ufs:/dev/mmcsd0s4\" + +# Flattened Device Tree +options FDT_DTB_STATIC +makeoptions FDT_DTS_FILE=socfpga_arria10_socdk_sdmmc.dts |