a64b5c84de
led_init was never called, which means the GPIOs were never set to output and the LEDs didn't work.
led_init was never called, which means the GPIOs were never set to output and the LEDs didn't work.