board/nvidia/jetson-tk1/Kconfig

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