include/kern/gpio/sysled.h


1
2
3
4
5
6
7
8
9
10
11

/*
 * Headers for interacting and managing the system LED.
 */
#ifndef SYSLED_H_
#define SYSLED_H_

#include "kern/gpio/gpio_manager.h"

gpio_reserved_pin_t get_sysled();

#endif