board/amcc/ocotea/Kconfig

if TARGET_OCOTEA

config SYS_BOARD
	default "ocotea"

config SYS_VENDOR
	default "amcc"

config SYS_CONFIG_NAME
	default "ocotea"

config DISPLAY_BOARDINFO
	bool
	default y

endif