Table of Contents
5億年ぶりくらいにSpartan Edge Accelerator BoardのESP32向けバイナリ（SDからbitstream読んでFPGAに書くだけのやつ）書こうとしたらコケた
https://github.com/Pillar1989/spartan-edge-esp32-boot
https://github.com/espressif/arduino-esp32
コード追ったらsdmmc_host_pullup_enは随分昔のバージョンにしか無いらしく、esp32のバージョンを最新の3系から2.0.17に戻したら通った。