#include "stdint.h"
#include "led.h"


void led_set(uint8_t usb_led)
{
}