I believe `pio run -e esp32-p4-evboard` doesn't work without a large number of undeclared dependencies and additional tools.