That is, 01 in the ttf file needs to be 80 hex sent to the FPGA ... you have the same problem with the Arduino pins, too. If you are driving an output pin with the FPGA, you shouldn’t try ...
Hackaday brought you a first look the Arduino MKR ... Serial.println(version, HEX); // Let's also ask which IPs are included in this bitstream FPGA.printConfig(); The output of this bit of code ...