an ARM-compatible 32-bit RISC processor