LEDs

There are 10 red LEDs which can be set by writing directly to the 10 least significant bits of the red LED register at 0xFF200000. This is a single 32 bit register. Bits 31 down to 10 are unused.

Device	Red LEDs
Configuration	32-bit registers
Input/Output	Output only
Address Base	red LEDs: 0xFF200000
Address Map	base - each map directly to the register

Notes

Each register is 32-bits wide but only the bottom 10 are used for the red LEDs. The upper bits are don't cares.

Assembly Example: Turn on all red LEDs

.equ ADDR_REDLEDS, 0xFF200000

  ldr  r0, ADDR_REDLEDS
  mov  r1, #-1
  str  r1, [r0]   // Write to LEDs

C Example: Turn on all red LEDs

#define RLEDs ((volatile long *) 0xFF200000)
int main()
{
     *RLEDs = 0x0ff;
}