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