Thanks for your reply. I tried your suggestions and got the following messages. The PC is a0080000 where the kernel image is loaded. The X0 is a8000000 where dtb is loaded. It seems that vcpu did not even execute the
zImage. Other things looks normal. is it possible something wrong with the domain0 kernel or the memory address where it is loaded. Any other suggestions? Thank you!
(XEN) *** Dumping Dom0 vcpu#0 state: ***
(XEN) ----[ Xen-4.9.0 arm64 debug=y Not tainted ]----
(XEN) CPU: 0
(XEN) PC: 00000000a0080000
(XEN) LR: 0000000000000000
(XEN) SP_EL0: 0000000000000000
(XEN) SP_EL1: 0000000000000000
(XEN) CPSR: 000001c5 MODE:64-bit EL1h (Guest Kernel, handler)
(XEN) X0: 00000000a8000000 X1: 0000000000000000 X2: 0000000000000000
(XEN) X3: 0000000000000000 X4: 0000000000000000 X5: 0000000000000000
(XEN) X6: 0000000000000000 X7: 0000000000000000 X8: 0000000000000000
(XEN) X9: 0000000000000000 X10: 0000000000000000 X11: 0000000000000000
(XEN) X12: 0000000000000000 X13: 0000000000000000 X14: 0000000000000000
(XEN) X15: 0000000000000000 X16: 0000000000000000 X17: 0000000000000000
(XEN) X18: 0000000000000000 X19: 0000000000000000 X20: 0000000000000000
(XEN) X21: 0000000000000000 X22: 0000000000000000 X23: 0000000000000000
(XEN) X24: 0000000000000000 X25: 0000000000000000 X26: 0000000000000000
(XEN) X27: 0000000000000000 X28: 0000000000000000 FP: 0000000000000000
(XEN)
(XEN) ELR_EL1: 0000000000000000
(XEN) ESR_EL1: 00000000
(XEN) FAR_EL1: 0000000000000000
(XEN)
(XEN) SCTLR_EL1: 00c50838
(XEN) TCR_EL1: 00000000
(XEN) TTBR0_EL1: 0000000000000000
(XEN) TTBR1_EL1: 0000000000000000
(XEN)
(XEN) VTCR_EL2: 80043594
(XEN) VTTBR_EL2: 0001000275d33000
(XEN)
(XEN) SCTLR_EL2: 30cd183d
(XEN) HCR_EL2: 000000008038663f
(XEN) TTBR0_EL2: 0000000275cfe000