board/xilinx/ppc440-generic/Kconfig - uboot-imx - Git at Google

 if TARGET_XILINX_PPC440_GENERIC

 config SYS_BOARD
 	default "ppc440-generic"

 config SYS_VENDOR
 	default "xilinx"

 config SYS_CONFIG_NAME
 	default "xilinx-ppc440-generic"

 endif
	if TARGET_XILINX_PPC440_GENERIC

	config SYS_BOARD
	default "ppc440-generic"

	config SYS_VENDOR
	default "xilinx"

	config SYS_CONFIG_NAME
	default "xilinx-ppc440-generic"

	endif