X13 Devices on ARM