I'm trying to follow along with this OS building tutorial.
I'm trying to understand what the
LED_ values in
rpi-gpio.h mean and how they are all used. Where in the documentation are these values listed? I tried looking at the PDFs but I just don't know where to find them.
What are the values and how are they used? Where are they from?