board/ppmc8260/Kconfig

   1 if TARGET_PPMC8260
   2
   3 config SYS_BOARD
   4         default "ppmc8260"
   5
   6 config SYS_CONFIG_NAME
   7         default "ppmc8260"
   8
   9 endif