if TARGET_JETSON_TK1
config SYS_BOARD
default "jetson-tk1"
config SYS_VENDOR
default "nvidia"
config SYS_CONFIG_NAME
endif