board/nvidia/jetson-tk1/Kconfig

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