Is it possible to control the integrated LED on a Raspberry Pi Pico W board?

I am a newcomer to the RTOS world and I am learning how to use NuttX.

I am following some introductory articles to Nuttx written by Alan C. Assis (You can see [here](https://www.embeddedrelated.com/showarticle/1623.php)) and I have used a _Raspberry Pi Pico W_ creating the configuration with:

`./tools/configure.sh raspberrypi-pico-w:nsh`

and then with `make menuconfig` I wanted to load the example of turning on the LED integrated on the board via GPIO (_GPIO Driver Example_).

And **it doesn't work** because as I understand it in the official documentation, that LED is controlled by the WIFI chip (it is controlled by _WL_GPIO0_ pin) and not by the _GPIO25_.

Does that mean that the configuration for that board version does not have that feature implemented?