1CONFIG_ARM=y
2CONFIG_TEGRA=y
3CONFIG_TEGRA124=y
4CONFIG_TARGET_JETSON_TK1=y
5CONFIG_DEFAULT_DEVICE_TREE="tegra124-jetson-tk1"
6