Because you're using Windows 10 with WSL (Ubuntu), even if installation seems to be successful, there are a few frequent failure locations that can cause the hollow knight counter example to fail.

Not yet. Have you tried to look for a unique SoC ID in the device's memory map. This could be a specific register or a value stored in a specific memory location.

I just joined the community looking for help and found someone with the same problem and the answer! Awesome. Your answer helped me a lot getaway shootout