Missing file - hal_linux_os.c

[unprovable]

Hello!
Trying to compile on a clean raspbian install - got the following error:
make: *** No rule to make target '/home/pi/gcp-iot-core-examples/.build/hal_linux_os.o', needed by '/home/pi/gcp-iot-core-examples/.build/libcryptoauth.so'. Stop.
The Makefile has this entry:
Makefile:LIBCRYPTOAUTH_OBJECTS += hal_linux_timer.c hal_linux_os.c
but there doesn't seem to be a file with that name anywhere...

pi@raspberrypi:~/gcp-iot-core-examples/src/cryptoauthlib $ find ./ -name *hal_linux*
./lib/hal/hal_linux_timer.c
./lib/hal/hal_linux_i2c_userspace.h
./lib/hal/hal_linux_kit_cdc.h
./lib/hal/hal_linux_kit_hid.c
./lib/hal/hal_linux_i2c_userspace.c
./lib/hal/hal_linux_kit_cdc.c
./lib/hal/hal_linux_kit_hid.h

Any idea which of these is supposed to be there?

Many thanks, M.

[unprovable]

Just a quick addendum to this - it compiles fine if I remove hal_linux_os.c from the Makefile... and seems to actually work. I'm guessing the functionality was moved around from that file (or I haven't found anything that needs something from that file) yet.

[unprovable]

Just a quick addendum to this - it compiles fine if I remove hal_linux_os.c from the Makefile... and seems to actually work. I'm guessing the functionality was moved around from that file (or I haven't found anything that needs something from that file) yet.