board/nokia/rx51/Kconfig

   1 if TARGET_NOKIA_RX51
   2
   3 config SYS_BOARD
   4         default "rx51"
   5
   6 config SYS_VENDOR
   7         default "nokia"
   8
   9 config SYS_CONFIG_NAME
  10         default "nokia_rx51"
  11
  12 endif