Hi everyone, I'm pretty new to this stuff and am trying to use the `ws2812-timer-delay` crate on an esp32 using an std env, obtained through running `cargo generate esp-rs/esp-idf-template`.

I’ve used other crates and drivers in this setup, which work fine, but on this one, when trying to do`ws2812_timer_delay::Ws2812::new(timer, led_pin)`, the compiler says that `the trait `embedded_hal::timer::CountDown` is not implemented for `TimerDriver<'_>`.

The time driver was obtained like so:
```rs
let mut timer = esp_idf_svc::hal::timer::TimerDriver::new(
    peripherals.timer11,
    &esp_idf_svc::hal::timer::config::Config::default(),
)
.unwrap();
```

Looking at the code of ` ws2812_timer_delay::Ws2812`, it requires ` TIMER: CountDown + Periodic`.

I’ve tried every `time` available in the peripherals, but none seem to work. 
To me this seems like the esp_id_svc crate does not implement these timer traits, but that somehow doesn’t seem right?

I’ve looked through the code of  `esp_idf_svc::hal::timer::TimerDriver` and also couldn’t find any mention of the `embedded_hal::timer::CountDown` and `embedded_hal::timer::Periodic` traits.

Is there anything else I could try to get this working?