1 # Kernel configuration for Jetson TK1 board
3 # For more information on this file, please read the config(5) manual page,
4 # and/or the handbook section on Kernel Configuration Files:
6 # http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
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 (http://www.FreeBSD.org/) for the
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
25 # Flattened Device Tree
26 options FDT_DTB_STATIC
27 makeoptions FDT_DTS_FILE=tegra124-jetson-tk1-fbsd.dts
29 makeoptions MODULES_OVERRIDE=""
31 #options BOOTHOWTO=RB_SINGLE
33 #options ROOTDEVNAME=\"ufs:mmcsd0s2a\"
34 options ROOTDEVNAME=\"ufs:ada0s1a\"
36 # CTF doesn't works yet
37 makeoptions WITHOUT_CTF=1