I just had a look, I didn't even push the changes back to GitHub after I made a local clone. The changes were very minor. My VM was an 8-bit Avr. I just neede

I just had a look, I didn't even push the changes back to GitHub after I made a local clone. The changes were very minor. My VM was an 8-bit Avr. I just needed to add a profile for an imaginary microcontroller with no peripherals, 64k ram and 64k words ROM. So what was on GitHub is an unmodified fork, 16 years behind upstream, and has acquired 20 stars. 8 in the last year.