[device]
name=cpu_0
class=core
type=Cortex-A53

[regs]
PC(size:64)=0xFFFFFFC000081000
SP(size:64)=0
SCTLR_EL1=0x1007
CPSR=0x1C5


[dump1]
file=bindir/OTHERS_exec
address=0x00010000
length=0x410f0

[dump2]
file=bindir/code_42_0_exec
address=0x01000000
length=0x84

[dump3]
file=bindir/code_44_0_exec
address=0x010000b8
length=0xf48

[dump4]
file=bindir/checkpoint_45_0_exec
address=0x02800000
length=0x638

[dump5]
file=bindir/VAL_NON_DET_CODE_exec
address=0x00090000
length=0x17ea0

[dump6]
file=bindir/code_43_3_exec
address=0x010000a8
length=0x4

[dump7]
file=bindir/code_43_1_exec
address=0x01000090
length=0x10

[dump8]
file=bindir/code_44_1_exec
address=0x01001000
length=0xc44