Support for 32-bit arm architecture

Hi everyone!
I was wondering if you’re planning to support 32-bit arm architecture at some point in the future.
I would like to run ActyxOS on a 32-bit industrial Raspberry Pi (specifically a RevPi Core 3) which doesn’t come with an official OS-image for 64-bit architecture.


Good morning

Welcome to the community forum.

We are currently on the last steps to release a new version. This version will support x86_64, aarch64, armv7, and arm.

Please be patient we try to get it ready next month.

One more thing,

In the meantime, you could go on and enable the experimental 64Bit kernel mode on your RPi. This is working quite reliable for me for many months.


Edit as root the /boot/config.txt and add the following line at the beginning:


After you saving and restarting the PI, you should get the following on the pi

> pi@raspberrypi:~ $ lscpu
Architecture:        aarch64
Byte Order:          Little Endian
CPU(s):              4
On-line CPU(s) list: 0-3
Thread(s) per core:  1
Core(s) per socket:  4
Socket(s):           1
Vendor ID:           ARM
Model:               4
Model name:          Cortex-A53
Stepping:            r0p4
CPU max MHz:         1200.0000
CPU min MHz:         600.0000
BogoMIPS:            38.40
Flags:               fp asimd evtstrm crc32 cpuid

Now you should be able to download and execute the aarch64 binaries.


1 Like

For reference, we’ll support the following architectures in v2:

OS Architectures
Linux / Docker x86_64, aarch64, armv7, arm
Windows x86_64
macOS (development) x86_64
Android x86, aarch64, armv7