6 void sleep_led_init(void) {
7 // we could go the 'software way' -- just enable *some* timer
8 // and go with callbacks
9 // or we could go the 'hardware way' -- and use timer output to
13 void sleep_led_enable(void) {
14 led_set(1<<USB_LED_CAPS_LOCK);
17 void sleep_led_disable(void) {
21 void sleep_led_toggle(void) {
22 // not working yet, state not saved anywhere currently