SOCKIT-BERI revision 281018
15347Ssos# 25347Ssos# Kernel configuration for Terasic SoCKit (Altera Cyclone V SoC). 35347Ssos# 45347Ssos# For more information on this file, please read the config(5) manual page, 55347Ssos# and/or the handbook section on Kernel Configuration Files: 65347Ssos# 75347Ssos# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 86851Ssos# 95347Ssos# The handbook is also available locally in /usr/share/doc/handbook 105347Ssos# if you've installed the doc distribution, otherwise always see the 115347Ssos# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the 125347Ssos# latest information. 135347Ssos# 145347Ssos# An exhaustive list of options and more detailed explanations of the 155347Ssos# device lines is also present in the ../../conf/NOTES and NOTES files. 165347Ssos# If you are in doubt as to the purpose or necessity of a line, check first 175347Ssos# in NOTES. 185347Ssos# 197420Ssos# $FreeBSD: head/sys/arm/conf/SOCKIT-BERI 281018 2015-04-03 11:12:59Z andrew $ 205347Ssos 215347Ssosident SOCKIT-BERI 225347Ssosinclude "SOCKIT.common" 235347Ssos 245347Ssosoptions ROOTDEVNAME=\"ufs:/dev/mmcsd0s4\" 255347Ssos 265347Ssos# BERI specific 275347Ssosdevice beri_ring 285347Ssosdevice beri_mem 295347Ssosdevice beri_vtblk 305347Ssosdevice vtbe 315347Ssosdevice altera_pio 325347Ssos 335347Ssos# Flattened Device Tree 345347Ssosoptions FDT_DTB_STATIC 355347Ssosmakeoptions FDT_DTS_FILE=socfpga-sockit-beri.dts 365347Ssos