workspace with different targets is really tricky. I have not found better solutions than to comment/uncomment the default target in .cargo/config.toml and use helper scripts like this:

```sh
#!/bin/bash
cargo +stable test --target $(rustc -vV | grep host | cut -d ' ' -f2) -p zynq7000-hal
cargo +stable test --target $(rustc -vV | grep host | cut -d ' ' -f2) -p zynq7000
```