If this FAQ can't solve your problems, try to read also the other
FAQs: FMC bus FAQ
Q: does the FMC TDC driver support White Rabbit?
A: No, it does not.
A project using a completely other driver and gateware is supporting
White Rabbit with a TDC (and a Fine Delay FMC card) on a SVEC board.
This is the LIST
Q: is there any way to determine what gateware version my TDC is using?
A: Gateware in OHWR FMC modules is loaded dynamically, so you just need
to know which binary was loaded at boot time. Recovering this
information from loaded gateware is a bit trickier: a synthesis record
is embedded in the SDB block at the very beginning of the register map.
If you really want to know, you need to mount