1dd84058dSMasahiro Yamada+S:CONFIG_ARM=y
2ddd960e6SMasahiro Yamada+S:CONFIG_TEGRA=y
3ddd960e6SMasahiro Yamada+S:CONFIG_TEGRA124=y
4dd84058dSMasahiro Yamada+S:CONFIG_TARGET_JETSON_TK1=y
5*f1ef2b62SMasahiro YamadaCONFIG_DEFAULT_DEVICE_TREE="tegra124-jetson-tk1"
6