FreeBSD/Linux Kernel Cross Reference
sys/arm/conf/SOCKIT
1 #
2 # Kernel configuration for Terasic SoCKit (Altera Cyclone V SoC).
3 #
4 # For more information on this file, please read the config(5) manual page,
5 # and/or the handbook section on Kernel Configuration Files:
6 #
7 # https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config
8 #
9 # The handbook is also available locally in /usr/share/doc/handbook
10 # if you've installed the doc distribution, otherwise always see the
11 # FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the
12 # latest information.
13 #
14 # An exhaustive list of options and more detailed explanations of the
15 # device lines is also present in the ../../conf/NOTES and NOTES files.
16 # If you are in doubt as to the purpose or necessity of a line, check first
17 # in NOTES.
18 #
19 # $FreeBSD$
20
21 #NO_UNIVERSE
22
23 include "SOCFPGA"
24 ident SOCKIT
25
26 options ROOTDEVNAME=\"ufs:/dev/mmcsd0s4\"
27
28 # Flattened Device Tree
29 options FDT_DTB_STATIC
30 makeoptions FDT_DTS_FILE=socfpga_cyclone5_sockit_sdmmc.dts
Cache object: a7f51f3c4458718dda8166c37a7f8a07
|