[device]
name=cpu_0
class=core
type=ARM-AA64

[regs]
PC(size:64)=0x0
SP(size:64)=0
SCTLR_EL1=0x0
CPSR=0x0


[dump1]
file=bindir_64/OTHERS_exec
address=0x00060000
length=0x478b4

[dump2]
file=bindir_64/code_9_0_exec
address=0x01000000
length=0x84

[dump3]
file=bindir_64/VAL_NON_DET_CODE_exec
address=0x00010000
length=0x1a280

[dump4]
file=bindir_64/code_a_1_exec
address=0x01000090
length=0x10

[dump5]
file=bindir_64/code_b_0_exec
address=0x010000ac
length=0x6c4

[dump6]
file=bindir_64/checkpoint_c_0_exec
address=0x02f00000
length=0x88