Support for ARM processors, e.g. on Raspberry PI