board/xilinx/microblaze-generic/Kconfig - u-boot - Git at Google

 if TARGET_MICROBLAZE_GENERIC

 config SYS_BOARD
 	default "microblaze-generic"

 config SYS_VENDOR
 	default "xilinx"

 config SYS_CONFIG_NAME
 	default "microblaze-generic"

 endif
	if TARGET_MICROBLAZE_GENERIC

	config SYS_BOARD
	default "microblaze-generic"

	config SYS_VENDOR
	default "xilinx"

	config SYS_CONFIG_NAME
	default "microblaze-generic"

	endif