sys/arm/conf/JETSON-TK1

   1 # Kernel configuration for Jetson TK1 board
   2 #
   3 # For more information on this file, please read the config(5) manual page,
   4 # and/or the handbook section on Kernel Configuration Files:
   5 #
   6 #    https://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
   7 #
   8 # The handbook is also available locally in /usr/share/doc/handbook
   9 # if you've installed the doc distribution, otherwise always see the
  10 # FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the
  11 # latest information.
  12 #
  13 # An exhaustive list of options and more detailed explanations of the
  14 # device lines is also present in the ../../conf/NOTES and NOTES files.
  15 # If you are in doubt as to the purpose or necessity of a line, check first
  16 # in NOTES.
  17 #
  18 # $FreeBSD$
  19
  20 #NO_UNIVERSE
  21
  22 include         "TEGRA124"
  23 ident           JETSON-TK1
  24
  25 # Flattened Device Tree
  26 options         FDT_DTB_STATIC
  27 makeoptions     FDT_DTS_FILE=tegra124-jetson-tk1-fbsd.dts
  28
  29 makeoptions MODULES_OVERRIDE=""
  30 #options        BOOTVERBOSE
  31 #options        BOOTHOWTO=RB_SINGLE
  32
  33 #options        ROOTDEVNAME=\"ufs:mmcsd0s2a\"
  34 options         ROOTDEVNAME=\"ufs:ada0s1a\"
  35
  36 # CTF doesn't works yet
  37 makeoptions     WITHOUT_CTF=1