[PATCH 08/16] board: stm32mp1: update management of boot-led

[Anatolij Gustschin]

Hi Patrick,

On Tue, 31 Mar 2020 18:04:25 +0200
Patrick Delaunay patrick.delaunay at st.com wrote:
...
> @@ -648,8 +652,10 @@ int board_init(void)
>  
>  	sysconf_init();
>  
> -	if (CONFIG_IS_ENABLED(CONFIG_LED))
> +	if (CONFIG_IS_ENABLED(CONFIG_LED)) {
>  		led_default_state();

Did you verify that this works like expected? We either use
	if (CONFIG_IS_ENABLED(LED))
or
	if (IS_ENABLED(CONFIG_LED))

Please check.

--
Anatolij