Fix pico build

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Pol Henarejos
2026-05-02 12:04:48 +02:00
parent 6aa986ca06
commit dc6007d1b4