ST-Nucleo-WB55RG with mbedOS framework?

[rei-vilo]

Targeting the Nucelo-p WB55RG board with the mbedOS frameworks raises an error.

CONFIGURATION: https://docs.platformio.org/page/boards/ststm32/nucleo_wb55rg_p.html PLATFORM: ST STM32 (13.0.0) > P-Nucleo WB55RG HARDWARE: STM32WB55RG 64MHz, 192.00KB RAM, 512KB Flash DEBUG: Current (stlink) On-board (stlink) External (blackmagic, cmsis-dap, jlink) PACKAGES:

• framework-mbed 6.60900.210318 (6.9.0)
• toolchain-gccarmnoneeabi 1.90201.191206 (9.2.1) Error: This board doesn't support mbed framework!

Indeed, page P-Nucleo WB55RG doesn't list mbedOS among the supported frameworks.

However, the official mbedOS documentation at https://os.mbed.com/platforms/ST-Nucleo-WB55RG/ does mention the board as supported.

How to add support for ST-Nucleo-WB55RG with mbedOS framework? Thank you!