2.2. The ARM Programmer's Model Notes | Embedded System BSC-CSIT | TU | TABFlux