if TARGET_IMX8MM_SONY_HA_VA

config SYS_BOARD
	default "imx8mm_sony_ha_va"

config SYS_VENDOR
	default "freescale"

config SYS_CONFIG_NAME
	default "imx8mm_sony_ha_va"

config SPL_POWER_CONTROL
	bool "Enable power control on spl"
	default n
	help
	  Enable power control on spl.

config SYSTEMD_FIXED_MACHINE_ID
	bool "Fixed systemd machine_id"
	default n
	help
	  Fixed machine_id by using OCOTP_HW_OCOTP_TESTER0
	  This ID is used for /etc/machine_id in systemd.

source "board/freescale/common/Kconfig"

endif
