Ivan-Velickovic
commented
7 months ago The CI is failing because the ethernet config seems to not be getting passed in somehow?
BUILD_DIR=/home/ivanv/actions-runner/_work/LionsOS/LionsOS/examples/kitty/build MICROKIT_INCLUDE=/home/ivanv/actions-runner/_work/LionsOS/LionsOS/microkit-sdk-1.2.6/board/odroidc4/debug/include ETHERNET_CONFIG_INCLUDE= make -C ../../sddf/drivers/network/meson/
Makefile:12: *** ETHERNET_CONFIG_INCLUDE must be specified. Stop.
make[1]: Entering directory '/home/ivanv/actions-runner/_work/LionsOS/LionsOS/sddf/drivers/network/meson'
Updates the sDDF and components that use the sDDF accordingly.