Function setPinLevel

firmware/src/platform.cpp:41–43

    }

    void setPinLevel(int pin, uint32_t level){
        gpio_set_level(static_cast<gpio_num_t>(pin), level);
    }

    int getPinLevel(int pin){
        return gpio_get_level(static_cast<gpio_num_t>(pin));