1276003Sandrew# 2273278Sbr# Kernel configuration for Terasic SoCKit (Altera Cyclone V SoC). 3273278Sbr# 4273278Sbr# For more information on this file, please read the config(5) manual page, 5273278Sbr# and/or the handbook section on Kernel Configuration Files: 6273278Sbr# 7273278Sbr# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 8273278Sbr# 9273278Sbr# The handbook is also available locally in /usr/share/doc/handbook 10273278Sbr# if you've installed the doc distribution, otherwise always see the 11273278Sbr# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the 12273278Sbr# latest information. 13273278Sbr# 14273278Sbr# An exhaustive list of options and more detailed explanations of the 15273278Sbr# device lines is also present in the ../../conf/NOTES and NOTES files. 16273278Sbr# If you are in doubt as to the purpose or necessity of a line, check first 17273278Sbr# in NOTES. 18273278Sbr# 19273278Sbr# $FreeBSD: releng/11.0/sys/arm/conf/SOCKIT-BERI 281018 2015-04-03 11:12:59Z andrew $ 20273278Sbr 21273278Sbrident SOCKIT-BERI 22281018Sandrewinclude "SOCKIT.common" 23273278Sbr 24276003Sandrewoptions ROOTDEVNAME=\"ufs:/dev/mmcsd0s4\" 25276003Sandrew 26273278Sbr# BERI specific 27273278Sbrdevice beri_ring 28273469Sbrdevice beri_mem 29275050Sbrdevice beri_vtblk 30275647Sbrdevice vtbe 31275050Sbrdevice altera_pio 32273278Sbr 33276003Sandrew# Flattened Device Tree 34273278Sbroptions FDT_DTB_STATIC 35273278Sbrmakeoptions FDT_DTS_FILE=socfpga-sockit-beri.dts 36