Indan Zupancic

So the first problem is that the vCPU can try things and check PAR_EL1 to see if it caused a fault or not. The information itself that is leaked is...

I'll add them to #1232. I'll document them in the ARM virtualisation section as I don't see any other place where to add them.

> Do they not belong in the 'Faults' section (6.2) of the manual? Probably, but it seems the wrong place for arch specific information. I'm not happy with that section,...

Unknown syscall exception retains the content of the failing call, so it's defined. User exceptions don't do it because it architecture dependent I think, but that could be fixed. I...

First impression: There is something funny going on with imx8mq and the speedup isn't big enough to justify a fast path. I would try optimising the normal IRQ path first....

Nice graph, how did you collect those numbers? In your new test, the while loop in `high_prio_fn` should be a `while (i < N_RUNS)`, otherwise there is no bound on...

When working on the MEP system @bennoleslie and I ran into the issue that we wanted to reserve a large contiguous memory area, and the only way to do that...

> I am a bit confused by this, I don't see how this would stop us allocating a large contiguous region of memory? In our case we tried allocating exactly...

In the preview you gave it looked great, good work! > To-dos: > > * The new tutorial md files _are not_ those from the tutorials repo. The md files...

And according to the ARM manual, for both nTWE and nTWI (and a lot of other bits too): _On a Warm reset, in a system where the PE resets into...