> BTW, I notice that you have hardcoded the GIC addresses and various
> interrupt sources. We do not make any guarantees about the guest
> virtual platform memory or interrupt layout beyond committing to
> correctly describing them in the Device Tree Blob which is passed to
> the guest kernel at st
I failed on the CC, whoops! Lets try that again...
(see also some comments below)
On Tue, 2015-01-20 at 09:55 +, Ian Campbell wrote:
> Hi Jonathan,
>
> Very cool!
>
> I've copied xen-devel, since I bet there are folks there who would be
> interested too.
>
> Ian.
>
> On Mon, 2015-01-19 at