board/xilinx/ppc440-generic/Kconfig

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