#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);
}