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
|