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