Arduino MKR WIFI 1010 not detected my Zerynth studio

I found this guide on how to setup Zerynth for Arduino MKR WIFI 1010

I run Windows 10

I followed it and I now have a device called “Arduino MKR WiFi 1010 (COM3)” in my device manager.
I can upload scetches from Arduino IDE to it.

But when I opend Zeryth it doesn’t show in the device manager widget at the top.
I also tried to press the Reset button twice on the Arduino board and it then shows as “Arduino MKR WiFi 1010 bootloader (COM4)” in the device manager in Windows.

I then added it manually with the COM port used and tried to register it. It seemed to work but failed at the end at [error] Can’t open serial port!
After this the device shows as “Genuino MKR1000” in the device manager in windows.

Am I doing something wrong?

Hmm, is only Arduino MKR 1000 supported? And not WIFI 1010?

unfortunately, the WIFI 1010 is not supported by Zerynth.
Here is the list of the supported devices: https://docs.zerynth.com/latest/reference/boards/