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://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config
    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
Cache object: 85d0fa46216286b3c3500196c98d714f  
 
 |