How can the ARM banked registers be initialized?

The way to initialize the banked registers for the different modes is to enter the specific mode and then to do the initialization. At boot-up, these registers are indeterminate and thus should be initialized to some known value before they are used. In particular, the stack pointers for each mode (r13) should be initialized before use. Note that when using older versions of DSM models to describe the behavior of the ARM core, the registers are initialized with the value 0xDEADDEAD.

Example code can be found in the ROM subdirectory of the examples provided with the ARM Developer Suite.

See also:

• What values are in ARM registers after a power-on reset?
• ARM Developer Suite