Another option, albeit convoluted, is an Arduino. I have an old pedal I made with a headphone jack (tip: SDA, ring: SDL), and I plug this into a board with Arduino. I compile the FV-1 files and run a Python script which generates an Arduino code which writes to the EEPROM.
The Arduino can be...