[device]
name=cpu_4
class=core
type=Cortex-A15

[regs]
R15=0xC0008000
R13=0
CPSR=0x1D3

[dump]
file=kernel_dump.bin
address=0xC0008000
length=0x00050000