Change Raspberry Pi 3 from 32 Bit to 64 Bit remotely?I

Is it possible to change the device type of a machine like this or do I have to reflash the SD card? The reason is because I’ve discovered an issue on remote devices that goes away once 64 bit mode is allowed for the applications. The issue is a virtual memory allocation leak in the Python Tornado web framework. In 32 bit mode, Linux only allows applications to map 2GB of virtual memory, whereas the limit is in the range of Terabytes when in 64 bit mode so it is not an issue. Is there any way I can remotely change these devices to run in using the 64 bit BalenaOS image for the Pi3?

Hey @matthewcroughan, yes you will need to re-provision the device by flashing the SD card with the 64-bit balenaOS image to upgrade this device.

Let me know if you have any other questions.

Thanks for quickly letting me know :slight_smile: