[Xen-devel] [PATCH 2/2] arm/traps: fix bug in dump_guest_s1_walk handling of level 2 page tables

2016-07-19 Thread Jonathan Daugherty
match the expected sequence [0,1]. For more information, see the ARMv7-A ARM, section B3.5. Signed-off-by: Jonathan Daugherty --- xen/arch/arm/traps.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/traps.c b/xen/arch/arm/traps.c index 0c10c4d..dfb1949 100644 --- a

[Xen-devel] [PATCH 1/2] arm/traps: fix bug in dump_guest_s1_walk L1 page table offset computation

2016-07-19 Thread Jonathan Daugherty
table format." Signed-off-by: Jonathan Daugherty --- xen/arch/arm/traps.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/traps.c b/xen/arch/arm/traps.c index a2eb1da..0c10c4d 100644 --- a/xen/arch/arm/traps.c +++ b/xen/arch/arm/traps.c @@ -2346,7 +2346

[Xen-devel] [PATCH 2/2] arm/traps: fix bug in dump_guest_s1_walk handling of level 2 page tables

2016-07-20 Thread Jonathan Daugherty
match the expected sequence [0,1]. For more information, see the ARMv7-A ARM DDI 0406C.b, section B3.5.1. Signed-off-by: Jonathan Daugherty --- xen/arch/arm/traps.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/traps.c b/xen/arch/arm/traps.c index 0c10c4d

[Xen-devel] [PATCH 1/2] arm/traps: fix bug in dump_guest_s1_walk L1 page table offset computation

2016-07-20 Thread Jonathan Daugherty
iptor translation table format." Signed-off-by: Jonathan Daugherty --- xen/arch/arm/traps.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/traps.c b/xen/arch/arm/traps.c index a2eb1da..0c10c4d 100644 --- a/xen/arch/arm/traps.c +++ b/xen/arch/arm/traps.c @@ -2346

[Xen-devel] ARM performance monitors support

2015-01-12 Thread Jonathan Daugherty
Hi, Does Xen virtualize the ARM performance monitors (i.e. PMUv2)? From my inspection of the source, it looks like the answer is "no," but I want to be sure. Are there any patches in the works which I could try out? Thanks! -- Jonathan Daugherty Software Engineer G

Re: [Xen-devel] ARM performance monitors support

2015-01-12 Thread Jonathan Daugherty
> There is no support of ARM performance monitors in Xen and, AFAIK, > nobody is yet working it. > > Patch are welcome for this feature! Okay. Thanks for the confirmation. -- Jonathan Daugherty Software Engineer Galois, Inc. _

Re: [Xen-devel] [Xen-users] ANN: FreeRTOS 7.6.0 for Xen on ARM released

2015-01-20 Thread Jonathan Daugherty
And I would of course welcome any other feedback for improving this! Thanks! -- Jonathan Daugherty Software Engineer Galois, Inc. ___ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel