sys/arm/conf/SOCKIT-BERI

   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 #    http://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 (http://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 ident           SOCKIT-BERI
  22 include         "SOCKIT.common"
  23
  24 options         ROOTDEVNAME=\"ufs:/dev/mmcsd0s4\"
  25
  26 # BERI specific
  27 device          beri_ring
  28 device          beri_mem
  29 device          beri_vtblk
  30 device          vtbe
  31 device          altera_pio
  32
  33 # Flattened Device Tree
  34 options         FDT_DTB_STATIC
  35 makeoptions     FDT_DTS_FILE=socfpga-sockit-beri.dts