board/xilinx/ppc440-generic/Kconfig

   1 if TARGET_XILINX_PPC440_GENERIC
   2
   3 config SYS_BOARD
   4         default "ppc440-generic"
   5
   6 config SYS_VENDOR
   7         default "xilinx"
   8
   9 config SYS_CONFIG_NAME
  10         default "xilinx-ppc440-generic"
  11
  12 endif