diff --git a/kernel/include/bsp/drivers/clk/pwr.h b/kernel/include/bsp/drivers/clk/pwr.h
index bec3ae79..62f176bd 100644
--- a/kernel/include/bsp/drivers/clk/pwr.h
+++ b/kernel/include/bsp/drivers/clk/pwr.h
@@ -65,6 +65,16 @@ typedef enum clk_vos_scale {
       s == POWER_VOS_SCALE_2 ||
       s == POWER_VOS_SCALE_1;
 */
+#elif defined(CONFIG_SOC_SUBFAMILY_STM32WB)
+typedef enum clk_vos_scale {
+    POWER_VOS_SCALE_1   = 0x1UL,
+    POWER_VOS_SCALE_2   = 0x2UL,
+} clk_vos_scale_t;
+/*@
+    predicate scale_is_valid(uint8_t s) =
+      s == POWER_VOS_SCALE_2 ||
+      s == POWER_VOS_SCALE_1;
+*/
 #endif
 kstatus_t pwr_probe(void);
 
diff --git a/kernel/src/drivers/clk/stm32-pwr.c b/kernel/src/drivers/clk/stm32-pwr.c
index 936bd486..4fae8049 100644
--- a/kernel/src/drivers/clk/stm32-pwr.c
+++ b/kernel/src/drivers/clk/stm32-pwr.c
@@ -19,7 +19,7 @@
 #include "pwr_defs.h"
 
 /* TODO: move stm32l4/f4 in a dedicated file */
-#if defined(CONFIG_SOC_SUBFAMILY_STM32L4)
+#if defined(CONFIG_SOC_SUBFAMILY_STM32L4) || defined(CONFIG_SOC_SUBFAMILY_STM32WB)
 #define PWR_CR_REG PWR_CR1_REG
 #define PWR_CR_VOS_MASK PWR_CR1_VOS_MASK
 #define PWR_CR_VOS_SHIFT PWR_CR1_VOS_SHIFT
@@ -28,7 +28,7 @@
 #endif
 
 /* FIXME */
-#if defined(CONFIG_SOC_SUBFAMILY_STM32L4) || defined(CONFIG_SOC_SUBFAMILY_STM32F4)
+#if defined(CONFIG_SOC_SUBFAMILY_STM32L4) || defined(CONFIG_SOC_SUBFAMILY_STM32F4) || defined(CONFIG_SOC_SUBFAMILY_STM32WB)
 # if defined(CONFIG_ARCH_MCU_STM32F401)
 #  define DEFAULT_SCALE_MODE POWER_VOS_SCALE_2
 # else
@@ -59,7 +59,7 @@ kstatus_t pwr_probe(void)
     return pwr_set_voltage_regulator_scaling(DEFAULT_SCALE_MODE);
 }
 
-#if defined(CONFIG_SOC_SUBFAMILY_STM32L4) || defined(CONFIG_SOC_SUBFAMILY_STM32F4)
+#if defined(CONFIG_SOC_SUBFAMILY_STM32L4) || defined(CONFIG_SOC_SUBFAMILY_STM32F4) || defined(CONFIG_SOC_SUBFAMILY_STM32WB)
 /*@
     requires scale_is_valid(scale);
     ensures \result == K_STATUS_OKAY;