WIZwiki W7500P with mbed_os

Hi,
I try the first time mbed_os on my Wiznet-board. I start with a exsample ( https://docs.mbed.com/docs/mbed-os-handbook/en/latest/getting_started/blinky_compiler/ )
I’ve selected my WIZwiki-W7500P board, but the compiler creates an error:
Error: Cannot open source input file “mbed_rtx.h”: No such file or directory in “extras/mbed-os.lib/rtos/rtx/TARGET_CORTEX_M/RTX_Conf_CM.c”, Line: 44, Col: 23

The compiler is working with other boards (NUCLEO-F103RB and mbed-LPC1768). What is wrong?

Hi,

What compiler you use? I try with Online compiler and it compiles without problems. The challenge was to find the board. It is not in the boards but I was able to find it from platforms and add that to the Online compiler. I imported this project to Online compiler:
https://os.mbed.com/teams/mbed/code/mbed_blinky/

I also try to compile using Mbed CLI and GCC_ARM compiler. I convert mbed_blinky Mbed OS 2 project to Mbed OS 5 (first mbed remove mbed and then mbed add mbed-os). It compiles without problems. I used wizwiki_w7500p as target.

Regards,
Pekka