Raspberry Pi OS 64bit not supported

[MikeDK]

When building picberry under Raspberry Pi OS 64bit, the resulting binary won't produce working targets.

Output looks like this...:
pi@ak-test-pi:~/temp $ sudo picberry -f pic24fjxxxga3xx -g 27,23,22 -w edr012.sprint_prototype.X.production.prod_02f63a50.hex
picberry PIC Programmer v0.2
Device Name: PIC24FJ128GA306
Device ID: 0x000046c2
Revision: 0x00000006
Writing chip...[[[[[[[[[[[[[[[[[[[[DONE!
Press ENTER to exit program mode...

In the line "Writing chip" the progress will go from 0 to 112% and starts over one or two times ... after that it states DONE, but the firmware on the target is not working.

If I'm doing the same under 32bit version of Raspberry Pi OS, everything is working correctly.

I still have to test if it works when building as 32bit binary under 64bit OS.

Anyone experiencing the same problem?

[MikeDK]

Ok, a little update... I just tried to compile picberry under 64bit OS with CC changed to arm-linux-gnueabihf-g++-12 in the Makefile ... resulting in a 32bit binary for armhf ... and this is working as expected under Raspberry Pi OS 64bit :)

So as a quick workaround for 64bit OS users, I propose the above - editing Makefile with the line CC=arm-linux-gnueabihf-g++-12, and installing via apt the packages gcc-12-arm-linux-gnueabihf, g++-12-arm-linux-gnueabihf, libc6:armhf and libstdc++6:armhf (after doing "dpkg --add-architecture armhf" once)

For a real 64bit version to work, I guess all the memory addresses defined in the sources have to be adapted to 64bit style...

[MikeDK]

Another update ... I think I fixed the whole problem by patching the type of *gpio to be uint64_t in case of 64 bit os .... now it works even on 64 bit os :)

I will write a pull request for this ... 2 be continued ;)

[MikeDK]

#25