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  
 
 |