["(snip).srcs/sources_1/bd/design_1/synth/design_1.v":239]のエラーが出た。してからビルドしたところうまくいった。これをやると小一時間かかるのでいくらなんでも・・・そこで、https://xilinx-wiki.atlassian.net/wiki/spaces/A/pages/18841846/AXI+GPIOhttps://www.xilinx.com/support/documentation/ip_documentation/axi_gpio/v2_0/pg144-axi-gpio.pdf#page=20を見ながら手動で設定してしまう。/dev/gpiochip1これでデバイスが追加された。