Hi,
This is just a general note.
If you are finding that Thunderbolt devices are not appearing when you plug them in.
In linux, try “lspci”.
If the thunderbolt device then appears, it is due to a kernel bug.
I found this happen with Linux kernel 6.15.4.
The fix is detailed here:
I found this very useful to know when I was diagnosing a problem recently.