Arty Z7-20でArduino Shield Pin10(IO10)をGPIOとして使う

現在のDigilentのboard_fileでは、IO10はSPIのSS用として使うためのピンとして割り当てられている
https://github.com/Digilent/vivado-boards/commit/0f62c91caf77bb50b4a705cd491f19b0442d8ca3
GPIOとして使う時は、board_fileを以下のように修正してやる
/opt/Xilinx/Vivado/2017.3/data/boards/board_files/arty-z7-20/A.0/part0_pins.xml
GPIOとして使うとき

 <pin index="45" name ="shield_dp0_dp13_tri_i_10" iostandard="LVCMOS33" loc="T16"/>
 <pin index="68" name ="spi_ss_i" iostandard="LVCMOS33" loc="F16"/>

SPIのSSとして使うとき

 <pin index="45" name ="shield_dp0_dp13_tri_i_10" iostandard="LVCMOS33" loc="F16"/>
 <pin index="68" name ="spi_ss_i" iostandard="LVCMOS33" loc="T16"/>