--- b/sys/arm/conf/JETSON-TK1	
+++ b/sys/arm/conf/JETSON-TK1	
@@ -15,7 +15,7 @@ 
 # If you are in doubt as to the purpose or necessity of a line, check first
 # in NOTES.
 #
-# $FreeBSD$
+# $FreeBSD: head/sys/arm/conf/JETSON-TK1 325096 2017-10-29 08:17:03Z eadler $
 
 #NO_UNIVERSE
 
@@ -27,8 +27,23 @@ options      FDT_DTB_STATIC
 makeoptions    FDT_DTS_FILE=tegra124-jetson-tk1-fbsd.dts
 
 makeoptions MODULES_OVERRIDE=""
+options                NFSCL
+options                NFS_ROOT
 #options       BOOTVERBOSE
 #options       BOOTHOWTO=RB_SINGLE
+options                BOOTP
+options                BOOTP_NFSROOT
+options                BOOTP_NFSV3
+
+# DISABLE DEBUGGING
+#nooptions       INVARIANTS
+#nooptions       INVARIANT_SUPPORT
+#nooptions       WITNESS
+#nooptions       WITNESS_SKIPSPIN
+#nooptions       DEADLKRES
+
+# DEBUGGING OPTIONS
+options                VERBOSE_SYSINIT
 
 #options       ROOTDEVNAME=\"ufs:mmcsd0s2a\"
 options        ROOTDEVNAME=\"ufs:ada0s1a\"