shirlynan

> For the Genesys2 board, we've primarily used the external JTAG debugger. I think for VCU118 and some other boards we would have to use bscane2. We haven't used it...

> All I have are some pointers I was given previously but haven't had the chance to follow up on. The PR adding support to OpenOCD has since been included,...