Hi,
On 5/8/19 5:01 PM, Andrii Anisov wrote:
On 08.05.19 17:31, Julien Grall wrote:
I haven't seen them with nokpti platform so far. I am curious to know
what is your configuration here.
XEN 4.12 with our patches. Thin Dom0 is a generic armv8 Linux, LK
4.14.75 with patches from Renesas and us.
DomD is LK 4.14.75 with HW assigned and drivers. LK configs you can find
on my google drive [1].
Those faults fire only for DomD (on its start).
vcpu_show_execution_state(current) should do the job here.
Here it is:
(XEN) d1v2 par 0x809
(XEN) d1v2: Failed to walk page-table va 0xffff80002ff66357
(XEN) *** Dumping Dom1 vcpu#2 state: ***
(XEN) ----[ Xen-4.12.0 arm64 debug=n Not tainted ]----
(XEN) CPU: 2
(XEN) PC: 0000ffffbd28dc88
(XEN) LR: 0000ffffbd28e674
(XEN) SP_EL0: 0000ffffe9890410
(XEN) SP_EL1: ffff00000803c000
(XEN) CPSR: 40000000 MODE:64-bit EL0t (Guest User)
This one is happening when the guest was running in user mode. Is it
always the case?
Also, your DomD .config has CONFIG_UNMAP_KERNEL_AT_EL0. So how do you
disable kpti?
Cheers,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
