Understanding DTS and configuration

I am working my way through the nRF Connect SDK Fundamentals usin NRF52840DK (PCA10040) board.

The led blinky works OK, but looking at the DTS file, I can see that LED0 is defined as gpio0 13:

which is incorrect as LED0 is gpio0 pin 17.

However in the main.c it gets the correct value of pin 17, and it works.

How is that? what am I missing?

Thanks

Johanan

Related