gpio_struct.h: No such file or directory

[buzmeg]

When I try to compile with "idf.py build", I get an error.

This occurs for both tagged v0.3.0 as well as master.

/var/home/foo/esp32dev/wireless-esp8266-dap/components/DAP/include/gpio_common.h:43:14: fatal error: soc/esp32s3/include/soc/gpio_struct.h: No such file or directory
   43 |     #include "soc/esp32s3/include/soc/gpio_struct.h"
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.
[1011/1061] Building C object esp-idf/wifi_provisioning/CMakeFiles/__idf_wifi_provisioning.dir/src/manager.c.obj
ninja: build stopped: subcommand failed.

% idf.py --version
ESP-IDF v5.4.1

I have already successfully built and run the "blinky" example, so the basic toolchain is functional.

Thanks.