FreeBSD/Linux Kernel Cross Reference
 
  sys/arm/conf/SOCDK
 
    1 #
    2 # Kernel configuration for Altera Arria10 SOC Development Kit.
    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           SOCDK
   25 
   26 options         ROOTDEVNAME=\"ufs:/dev/mmcsd0s4\"
   27 
   28 # Flattened Device Tree
   29 options         FDT_DTB_STATIC
   30 makeoptions     FDT_DTS_FILE=socfpga_arria10_socdk_sdmmc.dts
Cache object: dd71beac4e4ca626727b6225a8ef266b  
 
 |