board/nvidia/p2571/Kconfig

if TARGET_P2571

config SYS_BOARD
	default "p2571"

config SYS_VENDOR
	default "nvidia"

config TEGRA_BOARD_STRING
	string "Default Tegra board name"
	default "NVIDIA P2571"

endif