Hi David,
just to hopefully get everything right: What workflow do you use to turn ulisp-picocalc.ino into an UF2 file? And what is the basis for the “alternative UF2 file” for the Pico 2?
I found these instructions: https://forum.arduino.cc/t/how-do-i-create-a-uf2-file-from-2-x/1299840/2
Is that the way you create the UF2? Or do I need to consider additional prerequisites to turn a freshly compiled uLisp with extensions and library into a UF2 file the PicoCalc firmware can work with?
Thanks for any hints!