Greetings,

I was informed that with Arduino Mbed products (like the Giga r1 Wifi board in particular) have undefined references to library [https://github.com/arduino/ArduinoCore-mbed/blob/4.1.1/libraries/WiFi/src/WiFi.h#L193-L195]

Is it possible to get ICMP protocol Ping added, in particulartype 8 (echo) & type 0 (echo reply) so wifi.ping() function can work as expected?

Arduino IDE v2 throws error while trying to compilepingResult = WiFi.ping(hostName, 128); orpingResult = WiFi.ping(hostName);. Ref full error msg below:

/private/var/folders/4b/qckrgbg9363dj_tb8wbv29zr0000gn/T/arduino/sketches/A827478510E08D3B5CCE11A06C8E0BA9/sketch/GIGA_Wifi.ino.cpp.o: In function `loop':/Users/xxxxxxxxxxxx/Documents/Arduino/GIGA_Wifi/GIGA_Wifi.ino:66: undefined reference to `arduino::WiFiClass::ping(arduino::String const&, unsigned char)'collect2: error: ld returned 1 exit statusexit status 1Compilation error: exit status 1

Regards