Has anybody attempted to (re)program their KeyboardIO with a Raspberry Pi?

Has anybody attempted to (re)program their KeyboardIO with a Raspberry Pi?

You mean to use an RPi to flash new firmware onto the Model 01? As long as it can run avrdude, you should be ok.

That’s what I mean. Cool, though I’d like to hear if anyone has done it, before I buy one for the purpose.

Thanks,

Oh. Is there a reason you don’t want to just use your regular computer?

My regular PCs are running nixos, and I haven’t (yet) gotten arduino+kaleidoscope working there. I am working on that, but I if somebody had a working RPi setup, that might be an easier option.