pub const LED0: Led0;
The LED is implemented using a PWM that can be driven either by the 48 MHz clock or by a 32.768 KHz clock input.