Is the user_clock2 pin similar to general GPIO pins in that I can provide my own input (without having to go through the Caravel SoC)? I have a mixed-signal design which I'm routing in the user analog wrapper, and I'm debating whether I need to use one of the GPIO pins for the clock signal or if I can input my own clock through the user_clock2 pin in the analog wrapper. Thanks!

This pin is provided by the PLL and clock divider. You can't drive it. It was similar but derived differently than wb_clk_i

I see, thanks!