#include "hal_product_config.h"
#include "hal_interface_irled.h"
#include "hal_interface_gpio.h"


void hal_irled_open(bool open){
	hal_gpio_output(GPIO_IRLED, open);
}