CI: Fix ESP32-P4 requiring ipv6/ipv4 data structures

The network bridge currently uses and requires the universal ipv4/ipv6 data structures to be available.

Signed-off-by: Peter M <petermm@gmail.com>

Author: petermm

.github/workflows/esp32-simtest.yaml

@@ -128,7 +128,7 @@ jobs:
           set -e
           export PATH=${PATH}:${HOME}/.cache/rebar3/bin
           . $IDF_PATH/export.sh
-          idf.py -DSDKCONFIG_DEFAULTS='sdkconfig.ci.wokwi' set-target ${{matrix.esp-idf-target}}
+          idf.py -DSDKCONFIG_DEFAULTS='${{matrix.esp-idf-target == 'esp32p4' && 'sdkconfig.ci.wokwi.esp32p4' || 'sdkconfig.ci.wokwi' }}' set-target ${{matrix.esp-idf-target}}
           idf.py build
 
       - name: Configure Wokwi environment

src/platforms/esp32/sdkconfig.defaults.esp32p4

@@ -11,5 +11,6 @@ CONFIG_SPIRAM=y
 # (default options for esp32-p4-function-ev-board)
 CONFIG_LWIP_PPP_VJ_HEADER_COMPRESSION=n
 CONFIG_SLAVE_IDF_TARGET_ESP32C6=y
+CONFIG_LWIP_IPV6=y
 CONFIG_WIFI_RMT_EXTRA_IRAM_OPT=n
 CONFIG_WIFI_RMT_SLP_IRAM_OPT=n

src/platforms/esp32/test/sdkconfig.ci.wokwi.esp32p4

@@ -0,0 +1,9 @@
+CONFIG_PARTITION_TABLE_CUSTOM=y
+CONFIG_ESPTOOLPY_FLASHSIZE_4MB=y
+CONFIG_ESP_INT_WDT_TIMEOUT_MS=10000
+CONFIG_AVM_RTC_SLOW_MAX_SIZE=1024
+CONFIG_ETH_USE_OPENETH=n
+CONFIG_COMPILER_OPTIMIZATION_PERF=y
+CONFIG_COMPILER_OPTIMIZATION_ASSERTIONS_SILENT=y
+CONFIG_MBEDTLS_ECP_FIXED_POINT_OPTIM=y
+CONFIG_LWIP_IPV6=y

src/platforms/esp32/test/sdkconfig.ci.wokwi.esp32p4.license

@@ -0,0 +1,2 @@
+SPDX-License-Identifier: Apache-2.0
+SPDX-FileCopyrightText: AtomVM Contributors