Important: We're excited to introduce our new technical documentation platform docs.nordicsemi.com, currently in Beta version. We invite you to explore it and share your feedback. Read more on our DevZone blog.
The above sets your board’s led0 alias to use pin 13 on GPIO controller
gpio0. The pin flags GPIO_ACTIVE_HIGH mean the LED is on when
the pin is set to its high state, and off when the pin is in its low state.
See gpio-leds for more information on defining GPIO-based LEDs