1if TARGET_JETSON_TK1 2 3config SYS_BOARD 4 string 5 default "jetson-tk1" 6 7config SYS_VENDOR 8 string 9 default "nvidia" 10 11config SYS_CONFIG_NAME 12 string 13 default "jetson-tk1" 14 15endif 16