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://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
   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