ChipLink is indeed routed out to the FMC. The demo during FOSDEM was done with a FPGA card attached to the FMC which then drove additional peripherals.

Jack, SiFive