Support for ARM ISA