Hello,

the recent commits in broke the build of util_libs broke the build of camkes-vm.

To recreate the error, do:

mkdir test_default
cd test_default
repo init -u https://github.com/seL4/camkes-vm-manifest.git
repo sync
make clean
make optiplex9020_defconfig
make silentoldconfig
make

You will get:
In file included from /test_default/libs/libethdrivers/src/pico_dev_eth.c:15:0:
/test_default/stage/x86/pc99/include/ethdrivers/pico_dev_eth.h:16:26: fatal error: pico_device.h: No such file or directory
compilation terminated.

Regards

Michal