diff --git a/core/arch/arm/plat-stm32mp1/shared_resources.c b/core/arch/arm/plat-stm32mp1/shared_resources.c index b85a1304af6..9468530f501 100644 --- a/core/arch/arm/plat-stm32mp1/shared_resources.c +++ b/core/arch/arm/plat-stm32mp1/shared_resources.c @@ -692,8 +692,12 @@ static void check_rcc_secure_configuration(void) } } - if (have_error) - panic(); + if (have_error) { + if (IS_ENABLED(CFG_WARN_INSECURE)) + EMSG("Warning: CFG_WARN_INSECURE allows insecure RCC configuration"); + else + panic(); + } } static void set_gpio_secure_configuration(void)