Hello Ivan,
On 09/05/16 11:29, Ivan Pavić2 wrote:
Julien Grail wrote:
You can dump the registers of a vCPU with xenctx.
$PREFIX/lib/xen/bin/xenctx domid
$PREFIX is the path where xen tools have been installed (i.e --prefix on
the configure). The default path is /usr/local/
Thanks for advice. I discovered that the PC has value 0x0C and SPSR of ABT mode
is same
as CPSR so I think that is prefetch abort. But I don't understand why it
happens? Invalid memory
access? I'm using simple linker script:
Guest are booting with MMU disabled, so 0x80008000 will be the physical
address.
The toolstack will load the kernel at this physical address. However,
the start of the guest RAM for Xen 4.7 is 0x40000000 (see
include/public/arch-arm.h). Can you try to use 0x40008000 for the guest
address?
By the way, how much RAM did you give to the guest?
...
OUTPUT_ARCH(arm)
ENTRY(_start)
SECTIONS
{
_start = 0x80008000;
. = _start;
.text : {
*(.start);
*(.text);
}
...
Thanks in advance.
Regards,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
