board/freescale/mx31pdk/Kconfig

   1 if TARGET_MX31PDK
   2
   3 config SYS_CPU
   4         default "arm1136"
   5
   6 config SYS_BOARD
   7         default "mx31pdk"
   8
   9 config SYS_VENDOR
  10         default "freescale"
  11
  12 config SYS_SOC
  13         default "mx31"
  14
  15 config SYS_CONFIG_NAME
  16         default "mx31pdk"
  17
  18 endif